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 Welcome to GNU CLISP 2.49 (2010-07-07) 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-2010 Type :h and hit Enter for context help. [1]> (load "mcs.lsp") ;; Loading file mcs.lsp ... ;; Loaded file mcs.lsp T [2]> (mc) <><><><><><><><> SOLVE <><><><><><><><> EXPLORED========================= UNEXPLORED======================= ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL E-NODE======================= ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N3 from Parent:ROOT Node Operator:MOVE-M-LR Node-state: missionaries=(M M) cannibals=(C C C) boat=NIL missionaries=(M) cannibals=NIL boat=B N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N1 from Parent:ROOT Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C C C) boat=NIL missionaries=(M M) cannibals=NIL boat=B E-NODE======================= N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N3 from Parent:ROOT Node Operator:MOVE-M-LR Node-state: missionaries=(M M) cannibals=(C C C) boat=NIL missionaries=(M) cannibals=NIL boat=B N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N1 from Parent:ROOT Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C C C) boat=NIL missionaries=(M M) cannibals=NIL boat=B N8 from Parent:N5 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL N7 from Parent:N5 Node Operator:MOVE-C-RL Node-state: missionaries=(M M) cannibals=(C C C) boat=B missionaries=(M) cannibals=NIL boat=NIL N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL E-NODE======================= N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N3 from Parent:ROOT Node Operator:MOVE-M-LR Node-state: missionaries=(M M) cannibals=(C C C) boat=NIL missionaries=(M) cannibals=NIL boat=B N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N1 from Parent:ROOT Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C C C) boat=NIL missionaries=(M M) cannibals=NIL boat=B N8 from Parent:N5 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL N7 from Parent:N5 Node Operator:MOVE-C-RL Node-state: missionaries=(M M) cannibals=(C C C) boat=B missionaries=(M) cannibals=NIL boat=NIL N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N9 from Parent:N4 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL E-NODE======================= N3 from Parent:ROOT Node Operator:MOVE-M-LR Node-state: missionaries=(M M) cannibals=(C C C) boat=NIL missionaries=(M) cannibals=NIL boat=B >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N1 from Parent:ROOT Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C C C) boat=NIL missionaries=(M M) cannibals=NIL boat=B N8 from Parent:N5 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL N7 from Parent:N5 Node Operator:MOVE-C-RL Node-state: missionaries=(M M) cannibals=(C C C) boat=B missionaries=(M) cannibals=NIL boat=NIL N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N9 from Parent:N4 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL E-NODE======================= N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N1 from Parent:ROOT Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C C C) boat=NIL missionaries=(M M) cannibals=NIL boat=B N8 from Parent:N5 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL N7 from Parent:N5 Node Operator:MOVE-C-RL Node-state: missionaries=(M M) cannibals=(C C C) boat=B missionaries=(M) cannibals=NIL boat=NIL N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N9 from Parent:N4 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL N11 from Parent:N2 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N10 from Parent:N2 Node Operator:MOVE-CC-RL Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL E-NODE======================= N1 from Parent:ROOT Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C C C) boat=NIL missionaries=(M M) cannibals=NIL boat=B >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N8 from Parent:N5 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL N7 from Parent:N5 Node Operator:MOVE-C-RL Node-state: missionaries=(M M) cannibals=(C C C) boat=B missionaries=(M) cannibals=NIL boat=NIL N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N9 from Parent:N4 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL N11 from Parent:N2 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N10 from Parent:N2 Node Operator:MOVE-CC-RL Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL E-NODE======================= N8 from Parent:N5 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N7 from Parent:N5 Node Operator:MOVE-C-RL Node-state: missionaries=(M M) cannibals=(C C C) boat=B missionaries=(M) cannibals=NIL boat=NIL N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N9 from Parent:N4 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL N11 from Parent:N2 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N10 from Parent:N2 Node Operator:MOVE-CC-RL Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL E-NODE======================= N7 from Parent:N5 Node Operator:MOVE-C-RL Node-state: missionaries=(M M) cannibals=(C C C) boat=B missionaries=(M) cannibals=NIL boat=NIL >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N9 from Parent:N4 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL N11 from Parent:N2 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N10 from Parent:N2 Node Operator:MOVE-CC-RL Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL E-NODE======================= N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N9 from Parent:N4 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL N11 from Parent:N2 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N10 from Parent:N2 Node Operator:MOVE-CC-RL Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL N16 from Parent:N6 Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C) boat=NIL missionaries=(M) cannibals=(C C) boat=B N15 from Parent:N6 Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N14 from Parent:N6 Node Operator:MOVE-M-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N12 from Parent:N6 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C C) boat=NIL missionaries=(M M) cannibals=(C) boat=B E-NODE======================= N9 from Parent:N4 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N11 from Parent:N2 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N10 from Parent:N2 Node Operator:MOVE-CC-RL Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL N16 from Parent:N6 Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C) boat=NIL missionaries=(M) cannibals=(C C) boat=B N15 from Parent:N6 Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N14 from Parent:N6 Node Operator:MOVE-M-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N12 from Parent:N6 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C C) boat=NIL missionaries=(M M) cannibals=(C) boat=B E-NODE======================= N11 from Parent:N2 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N10 from Parent:N2 Node Operator:MOVE-CC-RL Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL N16 from Parent:N6 Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C) boat=NIL missionaries=(M) cannibals=(C C) boat=B N15 from Parent:N6 Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N14 from Parent:N6 Node Operator:MOVE-M-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N12 from Parent:N6 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C C) boat=NIL missionaries=(M M) cannibals=(C) boat=B E-NODE======================= N10 from Parent:N2 Node Operator:MOVE-CC-RL Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N16 from Parent:N6 Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C) boat=NIL missionaries=(M) cannibals=(C C) boat=B N15 from Parent:N6 Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N14 from Parent:N6 Node Operator:MOVE-M-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N12 from Parent:N6 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C C) boat=NIL missionaries=(M M) cannibals=(C) boat=B E-NODE======================= N16 from Parent:N6 Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C) boat=NIL missionaries=(M) cannibals=(C C) boat=B >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N15 from Parent:N6 Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N14 from Parent:N6 Node Operator:MOVE-M-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N12 from Parent:N6 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C C) boat=NIL missionaries=(M M) cannibals=(C) boat=B E-NODE======================= N15 from Parent:N6 Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N14 from Parent:N6 Node Operator:MOVE-M-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N12 from Parent:N6 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C C) boat=NIL missionaries=(M M) cannibals=(C) boat=B E-NODE======================= N14 from Parent:N6 Node Operator:MOVE-M-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N12 from Parent:N6 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C C) boat=NIL missionaries=(M M) cannibals=(C) boat=B E-NODE======================= N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N12 from Parent:N6 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C C) boat=NIL missionaries=(M M) cannibals=(C) boat=B N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N17 from Parent:N13 Node Operator:MOVE-CC-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL E-NODE======================= N12 from Parent:N6 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C C) boat=NIL missionaries=(M M) cannibals=(C) boat=B >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N17 from Parent:N13 Node Operator:MOVE-CC-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL E-NODE======================= N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N17 from Parent:N13 Node Operator:MOVE-CC-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N22 from Parent:N18 Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=NIL boat=NIL missionaries=(M) cannibals=(C C C) boat=B N21 from Parent:N18 Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N20 from Parent:N18 Node Operator:MOVE-M-LR Node-state: missionaries=(M M) cannibals=(C) boat=NIL missionaries=(M) cannibals=(C C) boat=B N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B E-NODE======================= N17 from Parent:N13 Node Operator:MOVE-CC-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N22 from Parent:N18 Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=NIL boat=NIL missionaries=(M) cannibals=(C C C) boat=B N21 from Parent:N18 Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N20 from Parent:N18 Node Operator:MOVE-M-LR Node-state: missionaries=(M M) cannibals=(C) boat=NIL missionaries=(M) cannibals=(C C) boat=B N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B E-NODE======================= N22 from Parent:N18 Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=NIL boat=NIL missionaries=(M) cannibals=(C C C) boat=B >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N21 from Parent:N18 Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N20 from Parent:N18 Node Operator:MOVE-M-LR Node-state: missionaries=(M M) cannibals=(C) boat=NIL missionaries=(M) cannibals=(C C) boat=B N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B E-NODE======================= N21 from Parent:N18 Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N20 from Parent:N18 Node Operator:MOVE-M-LR Node-state: missionaries=(M M) cannibals=(C) boat=NIL missionaries=(M) cannibals=(C C) boat=B N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B E-NODE======================= N20 from Parent:N18 Node Operator:MOVE-M-LR Node-state: missionaries=(M M) cannibals=(C) boat=NIL missionaries=(M) cannibals=(C C) boat=B >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B E-NODE======================= N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N27 from Parent:N19 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL N26 from Parent:N19 Node Operator:MOVE-C-RL Node-state: missionaries=(M) cannibals=(C C) boat=B missionaries=(M M) cannibals=(C) boat=NIL N25 from Parent:N19 Node Operator:MOVE-M-RL Node-state: missionaries=(M M) cannibals=(C) boat=B missionaries=(M) cannibals=(C C) boat=NIL N24 from Parent:N19 Node Operator:MOVE-CC-RL Node-state: missionaries=(M) cannibals=(C C C) boat=B missionaries=(M M) cannibals=NIL boat=NIL N23 from Parent:N19 Node Operator:MOVE-MM-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL E-NODE======================= N27 from Parent:N19 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N27 from Parent:N19 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N26 from Parent:N19 Node Operator:MOVE-C-RL Node-state: missionaries=(M) cannibals=(C C) boat=B missionaries=(M M) cannibals=(C) boat=NIL N25 from Parent:N19 Node Operator:MOVE-M-RL Node-state: missionaries=(M M) cannibals=(C) boat=B missionaries=(M) cannibals=(C C) boat=NIL N24 from Parent:N19 Node Operator:MOVE-CC-RL Node-state: missionaries=(M) cannibals=(C C C) boat=B missionaries=(M M) cannibals=NIL boat=NIL N23 from Parent:N19 Node Operator:MOVE-MM-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N32 from Parent:N27 Node Operator:MOVE-MC-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N31 from Parent:N27 Node Operator:MOVE-C-LR Node-state: missionaries=(M M) cannibals=(C) boat=NIL missionaries=(M) cannibals=(C C) boat=B N30 from Parent:N27 Node Operator:MOVE-M-LR Node-state: missionaries=(M) cannibals=(C C) boat=NIL missionaries=(M M) cannibals=(C) boat=B N29 from Parent:N27 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M) cannibals=NIL boat=NIL missionaries=(M) cannibals=(C C C) boat=B N28 from Parent:N27 Node Operator:MOVE-MM-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B E-NODE======================= N26 from Parent:N19 Node Operator:MOVE-C-RL Node-state: missionaries=(M) cannibals=(C C) boat=B missionaries=(M M) cannibals=(C) boat=NIL >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N27 from Parent:N19 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N25 from Parent:N19 Node Operator:MOVE-M-RL Node-state: missionaries=(M M) cannibals=(C) boat=B missionaries=(M) cannibals=(C C) boat=NIL N24 from Parent:N19 Node Operator:MOVE-CC-RL Node-state: missionaries=(M) cannibals=(C C C) boat=B missionaries=(M M) cannibals=NIL boat=NIL N23 from Parent:N19 Node Operator:MOVE-MM-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N32 from Parent:N27 Node Operator:MOVE-MC-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N31 from Parent:N27 Node Operator:MOVE-C-LR Node-state: missionaries=(M M) cannibals=(C) boat=NIL missionaries=(M) cannibals=(C C) boat=B N30 from Parent:N27 Node Operator:MOVE-M-LR Node-state: missionaries=(M) cannibals=(C C) boat=NIL missionaries=(M M) cannibals=(C) boat=B N29 from Parent:N27 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M) cannibals=NIL boat=NIL missionaries=(M) cannibals=(C C C) boat=B N28 from Parent:N27 Node Operator:MOVE-MM-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B E-NODE======================= N25 from Parent:N19 Node Operator:MOVE-M-RL Node-state: missionaries=(M M) cannibals=(C) boat=B missionaries=(M) cannibals=(C C) boat=NIL >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N27 from Parent:N19 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N24 from Parent:N19 Node Operator:MOVE-CC-RL Node-state: missionaries=(M) cannibals=(C C C) boat=B missionaries=(M M) cannibals=NIL boat=NIL N23 from Parent:N19 Node Operator:MOVE-MM-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N32 from Parent:N27 Node Operator:MOVE-MC-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N31 from Parent:N27 Node Operator:MOVE-C-LR Node-state: missionaries=(M M) cannibals=(C) boat=NIL missionaries=(M) cannibals=(C C) boat=B N30 from Parent:N27 Node Operator:MOVE-M-LR Node-state: missionaries=(M) cannibals=(C C) boat=NIL missionaries=(M M) cannibals=(C) boat=B N29 from Parent:N27 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M) cannibals=NIL boat=NIL missionaries=(M) cannibals=(C C C) boat=B N28 from Parent:N27 Node Operator:MOVE-MM-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B E-NODE======================= N24 from Parent:N19 Node Operator:MOVE-CC-RL Node-state: missionaries=(M) cannibals=(C C C) boat=B missionaries=(M M) cannibals=NIL boat=NIL >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N27 from Parent:N19 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N23 from Parent:N19 Node Operator:MOVE-MM-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N32 from Parent:N27 Node Operator:MOVE-MC-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N31 from Parent:N27 Node Operator:MOVE-C-LR Node-state: missionaries=(M M) cannibals=(C) boat=NIL missionaries=(M) cannibals=(C C) boat=B N30 from Parent:N27 Node Operator:MOVE-M-LR Node-state: missionaries=(M) cannibals=(C C) boat=NIL missionaries=(M M) cannibals=(C) boat=B N29 from Parent:N27 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M) cannibals=NIL boat=NIL missionaries=(M) cannibals=(C C C) boat=B N28 from Parent:N27 Node Operator:MOVE-MM-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B E-NODE======================= N23 from Parent:N19 Node Operator:MOVE-MM-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N27 from Parent:N19 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N32 from Parent:N27 Node Operator:MOVE-MC-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N31 from Parent:N27 Node Operator:MOVE-C-LR Node-state: missionaries=(M M) cannibals=(C) boat=NIL missionaries=(M) cannibals=(C C) boat=B N30 from Parent:N27 Node Operator:MOVE-M-LR Node-state: missionaries=(M) cannibals=(C C) boat=NIL missionaries=(M M) cannibals=(C) boat=B N29 from Parent:N27 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M) cannibals=NIL boat=NIL missionaries=(M) cannibals=(C C C) boat=B N28 from Parent:N27 Node Operator:MOVE-MM-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B E-NODE======================= N32 from Parent:N27 Node Operator:MOVE-MC-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N27 from Parent:N19 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N31 from Parent:N27 Node Operator:MOVE-C-LR Node-state: missionaries=(M M) cannibals=(C) boat=NIL missionaries=(M) cannibals=(C C) boat=B N30 from Parent:N27 Node Operator:MOVE-M-LR Node-state: missionaries=(M) cannibals=(C C) boat=NIL missionaries=(M M) cannibals=(C) boat=B N29 from Parent:N27 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M) cannibals=NIL boat=NIL missionaries=(M) cannibals=(C C C) boat=B N28 from Parent:N27 Node Operator:MOVE-MM-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B E-NODE======================= N31 from Parent:N27 Node Operator:MOVE-C-LR Node-state: missionaries=(M M) cannibals=(C) boat=NIL missionaries=(M) cannibals=(C C) boat=B >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N27 from Parent:N19 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N30 from Parent:N27 Node Operator:MOVE-M-LR Node-state: missionaries=(M) cannibals=(C C) boat=NIL missionaries=(M M) cannibals=(C) boat=B N29 from Parent:N27 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M) cannibals=NIL boat=NIL missionaries=(M) cannibals=(C C C) boat=B N28 from Parent:N27 Node Operator:MOVE-MM-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B E-NODE======================= N30 from Parent:N27 Node Operator:MOVE-M-LR Node-state: missionaries=(M) cannibals=(C C) boat=NIL missionaries=(M M) cannibals=(C) boat=B >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N27 from Parent:N19 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N29 from Parent:N27 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M) cannibals=NIL boat=NIL missionaries=(M) cannibals=(C C C) boat=B N28 from Parent:N27 Node Operator:MOVE-MM-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B E-NODE======================= N29 from Parent:N27 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M) cannibals=NIL boat=NIL missionaries=(M) cannibals=(C C C) boat=B >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N27 from Parent:N19 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N28 from Parent:N27 Node Operator:MOVE-MM-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B E-NODE======================= N28 from Parent:N27 Node Operator:MOVE-MM-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N28 from Parent:N27 Node Operator:MOVE-MM-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B N27 from Parent:N19 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N36 from Parent:N28 Node Operator:MOVE-MC-RL Node-state: missionaries=(M) cannibals=(C C C) boat=B missionaries=(M M) cannibals=NIL boat=NIL N35 from Parent:N28 Node Operator:MOVE-C-RL Node-state: missionaries=NIL cannibals=(C C C) boat=B missionaries=(M M M) cannibals=NIL boat=NIL N34 from Parent:N28 Node Operator:MOVE-M-RL Node-state: missionaries=(M) cannibals=(C C) boat=B missionaries=(M M) cannibals=(C) boat=NIL N33 from Parent:N28 Node Operator:MOVE-MM-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL E-NODE======================= N36 from Parent:N28 Node Operator:MOVE-MC-RL Node-state: missionaries=(M) cannibals=(C C C) boat=B missionaries=(M M) cannibals=NIL boat=NIL >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N28 from Parent:N27 Node Operator:MOVE-MM-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B N27 from Parent:N19 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N35 from Parent:N28 Node Operator:MOVE-C-RL Node-state: missionaries=NIL cannibals=(C C C) boat=B missionaries=(M M M) cannibals=NIL boat=NIL N34 from Parent:N28 Node Operator:MOVE-M-RL Node-state: missionaries=(M) cannibals=(C C) boat=B missionaries=(M M) cannibals=(C) boat=NIL N33 from Parent:N28 Node Operator:MOVE-MM-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL E-NODE======================= N35 from Parent:N28 Node Operator:MOVE-C-RL Node-state: missionaries=NIL cannibals=(C C C) boat=B missionaries=(M M M) cannibals=NIL boat=NIL >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N35 from Parent:N28 Node Operator:MOVE-C-RL Node-state: missionaries=NIL cannibals=(C C C) boat=B missionaries=(M M M) cannibals=NIL boat=NIL N28 from Parent:N27 Node Operator:MOVE-MM-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B N27 from Parent:N19 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N34 from Parent:N28 Node Operator:MOVE-M-RL Node-state: missionaries=(M) cannibals=(C C) boat=B missionaries=(M M) cannibals=(C) boat=NIL N33 from Parent:N28 Node Operator:MOVE-MM-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL N38 from Parent:N35 Node Operator:MOVE-C-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B N37 from Parent:N35 Node Operator:MOVE-CC-LR Node-state: missionaries=NIL cannibals=(C) boat=NIL missionaries=(M M M) cannibals=(C C) boat=B E-NODE======================= N34 from Parent:N28 Node Operator:MOVE-M-RL Node-state: missionaries=(M) cannibals=(C C) boat=B missionaries=(M M) cannibals=(C) boat=NIL >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N35 from Parent:N28 Node Operator:MOVE-C-RL Node-state: missionaries=NIL cannibals=(C C C) boat=B missionaries=(M M M) cannibals=NIL boat=NIL N28 from Parent:N27 Node Operator:MOVE-MM-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B N27 from Parent:N19 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N33 from Parent:N28 Node Operator:MOVE-MM-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL N38 from Parent:N35 Node Operator:MOVE-C-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B N37 from Parent:N35 Node Operator:MOVE-CC-LR Node-state: missionaries=NIL cannibals=(C) boat=NIL missionaries=(M M M) cannibals=(C C) boat=B E-NODE======================= N33 from Parent:N28 Node Operator:MOVE-MM-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N35 from Parent:N28 Node Operator:MOVE-C-RL Node-state: missionaries=NIL cannibals=(C C C) boat=B missionaries=(M M M) cannibals=NIL boat=NIL N28 from Parent:N27 Node Operator:MOVE-MM-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B N27 from Parent:N19 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N38 from Parent:N35 Node Operator:MOVE-C-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B N37 from Parent:N35 Node Operator:MOVE-CC-LR Node-state: missionaries=NIL cannibals=(C) boat=NIL missionaries=(M M M) cannibals=(C C) boat=B E-NODE======================= N38 from Parent:N35 Node Operator:MOVE-C-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N35 from Parent:N28 Node Operator:MOVE-C-RL Node-state: missionaries=NIL cannibals=(C C C) boat=B missionaries=(M M M) cannibals=NIL boat=NIL N28 from Parent:N27 Node Operator:MOVE-MM-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B N27 from Parent:N19 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N37 from Parent:N35 Node Operator:MOVE-CC-LR Node-state: missionaries=NIL cannibals=(C) boat=NIL missionaries=(M M M) cannibals=(C C) boat=B E-NODE======================= N37 from Parent:N35 Node Operator:MOVE-CC-LR Node-state: missionaries=NIL cannibals=(C) boat=NIL missionaries=(M M M) cannibals=(C C) boat=B >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N37 from Parent:N35 Node Operator:MOVE-CC-LR Node-state: missionaries=NIL cannibals=(C) boat=NIL missionaries=(M M M) cannibals=(C C) boat=B N35 from Parent:N28 Node Operator:MOVE-C-RL Node-state: missionaries=NIL cannibals=(C C C) boat=B missionaries=(M M M) cannibals=NIL boat=NIL N28 from Parent:N27 Node Operator:MOVE-MM-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B N27 from Parent:N19 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N43 from Parent:N37 Node Operator:MOVE-MC-RL Node-state: missionaries=(M) cannibals=(C C) boat=B missionaries=(M M) cannibals=(C) boat=NIL N42 from Parent:N37 Node Operator:MOVE-C-RL Node-state: missionaries=NIL cannibals=(C C) boat=B missionaries=(M M M) cannibals=(C) boat=NIL N41 from Parent:N37 Node Operator:MOVE-M-RL Node-state: missionaries=(M) cannibals=(C) boat=B missionaries=(M M) cannibals=(C C) boat=NIL N40 from Parent:N37 Node Operator:MOVE-CC-RL Node-state: missionaries=NIL cannibals=(C C C) boat=B missionaries=(M M M) cannibals=NIL boat=NIL N39 from Parent:N37 Node Operator:MOVE-MM-RL Node-state: missionaries=(M M) cannibals=(C) boat=B missionaries=(M) cannibals=(C C) boat=NIL E-NODE======================= N43 from Parent:N37 Node Operator:MOVE-MC-RL Node-state: missionaries=(M) cannibals=(C C) boat=B missionaries=(M M) cannibals=(C) boat=NIL >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N37 from Parent:N35 Node Operator:MOVE-CC-LR Node-state: missionaries=NIL cannibals=(C) boat=NIL missionaries=(M M M) cannibals=(C C) boat=B N35 from Parent:N28 Node Operator:MOVE-C-RL Node-state: missionaries=NIL cannibals=(C C C) boat=B missionaries=(M M M) cannibals=NIL boat=NIL N28 from Parent:N27 Node Operator:MOVE-MM-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B N27 from Parent:N19 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N42 from Parent:N37 Node Operator:MOVE-C-RL Node-state: missionaries=NIL cannibals=(C C) boat=B missionaries=(M M M) cannibals=(C) boat=NIL N41 from Parent:N37 Node Operator:MOVE-M-RL Node-state: missionaries=(M) cannibals=(C) boat=B missionaries=(M M) cannibals=(C C) boat=NIL N40 from Parent:N37 Node Operator:MOVE-CC-RL Node-state: missionaries=NIL cannibals=(C C C) boat=B missionaries=(M M M) cannibals=NIL boat=NIL N39 from Parent:N37 Node Operator:MOVE-MM-RL Node-state: missionaries=(M M) cannibals=(C) boat=B missionaries=(M) cannibals=(C C) boat=NIL E-NODE======================= N42 from Parent:N37 Node Operator:MOVE-C-RL Node-state: missionaries=NIL cannibals=(C C) boat=B missionaries=(M M M) cannibals=(C) boat=NIL >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N42 from Parent:N37 Node Operator:MOVE-C-RL Node-state: missionaries=NIL cannibals=(C C) boat=B missionaries=(M M M) cannibals=(C) boat=NIL N37 from Parent:N35 Node Operator:MOVE-CC-LR Node-state: missionaries=NIL cannibals=(C) boat=NIL missionaries=(M M M) cannibals=(C C) boat=B N35 from Parent:N28 Node Operator:MOVE-C-RL Node-state: missionaries=NIL cannibals=(C C C) boat=B missionaries=(M M M) cannibals=NIL boat=NIL N28 from Parent:N27 Node Operator:MOVE-MM-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B N27 from Parent:N19 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N41 from Parent:N37 Node Operator:MOVE-M-RL Node-state: missionaries=(M) cannibals=(C) boat=B missionaries=(M M) cannibals=(C C) boat=NIL N40 from Parent:N37 Node Operator:MOVE-CC-RL Node-state: missionaries=NIL cannibals=(C C C) boat=B missionaries=(M M M) cannibals=NIL boat=NIL N39 from Parent:N37 Node Operator:MOVE-MM-RL Node-state: missionaries=(M M) cannibals=(C) boat=B missionaries=(M) cannibals=(C C) boat=NIL N45 from Parent:N42 Node Operator:MOVE-C-LR Node-state: missionaries=NIL cannibals=(C) boat=NIL missionaries=(M M M) cannibals=(C C) boat=B N44 from Parent:N42 Node Operator:MOVE-CC-LR Node-state: missionaries=NIL cannibals=NIL boat=NIL missionaries=(M M M) cannibals=(C C C) boat=B E-NODE======================= N41 from Parent:N37 Node Operator:MOVE-M-RL Node-state: missionaries=(M) cannibals=(C) boat=B missionaries=(M M) cannibals=(C C) boat=NIL >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N41 from Parent:N37 Node Operator:MOVE-M-RL Node-state: missionaries=(M) cannibals=(C) boat=B missionaries=(M M) cannibals=(C C) boat=NIL N42 from Parent:N37 Node Operator:MOVE-C-RL Node-state: missionaries=NIL cannibals=(C C) boat=B missionaries=(M M M) cannibals=(C) boat=NIL N37 from Parent:N35 Node Operator:MOVE-CC-LR Node-state: missionaries=NIL cannibals=(C) boat=NIL missionaries=(M M M) cannibals=(C C) boat=B N35 from Parent:N28 Node Operator:MOVE-C-RL Node-state: missionaries=NIL cannibals=(C C C) boat=B missionaries=(M M M) cannibals=NIL boat=NIL N28 from Parent:N27 Node Operator:MOVE-MM-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B N27 from Parent:N19 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N40 from Parent:N37 Node Operator:MOVE-CC-RL Node-state: missionaries=NIL cannibals=(C C C) boat=B missionaries=(M M M) cannibals=NIL boat=NIL N39 from Parent:N37 Node Operator:MOVE-MM-RL Node-state: missionaries=(M M) cannibals=(C) boat=B missionaries=(M) cannibals=(C C) boat=NIL N45 from Parent:N42 Node Operator:MOVE-C-LR Node-state: missionaries=NIL cannibals=(C) boat=NIL missionaries=(M M M) cannibals=(C C) boat=B N44 from Parent:N42 Node Operator:MOVE-CC-LR Node-state: missionaries=NIL cannibals=NIL boat=NIL missionaries=(M M M) cannibals=(C C C) boat=B N48 from Parent:N41 Node Operator:MOVE-MC-LR Node-state: missionaries=NIL cannibals=NIL boat=NIL missionaries=(M M M) cannibals=(C C C) boat=B N47 from Parent:N41 Node Operator:MOVE-C-LR Node-state: missionaries=(M) cannibals=NIL boat=NIL missionaries=(M M) cannibals=(C C C) boat=B N46 from Parent:N41 Node Operator:MOVE-M-LR Node-state: missionaries=NIL cannibals=(C) boat=NIL missionaries=(M M M) cannibals=(C C) boat=B E-NODE======================= N40 from Parent:N37 Node Operator:MOVE-CC-RL Node-state: missionaries=NIL cannibals=(C C C) boat=B missionaries=(M M M) cannibals=NIL boat=NIL >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N41 from Parent:N37 Node Operator:MOVE-M-RL Node-state: missionaries=(M) cannibals=(C) boat=B missionaries=(M M) cannibals=(C C) boat=NIL N42 from Parent:N37 Node Operator:MOVE-C-RL Node-state: missionaries=NIL cannibals=(C C) boat=B missionaries=(M M M) cannibals=(C) boat=NIL N37 from Parent:N35 Node Operator:MOVE-CC-LR Node-state: missionaries=NIL cannibals=(C) boat=NIL missionaries=(M M M) cannibals=(C C) boat=B N35 from Parent:N28 Node Operator:MOVE-C-RL Node-state: missionaries=NIL cannibals=(C C C) boat=B missionaries=(M M M) cannibals=NIL boat=NIL N28 from Parent:N27 Node Operator:MOVE-MM-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B N27 from Parent:N19 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N39 from Parent:N37 Node Operator:MOVE-MM-RL Node-state: missionaries=(M M) cannibals=(C) boat=B missionaries=(M) cannibals=(C C) boat=NIL N45 from Parent:N42 Node Operator:MOVE-C-LR Node-state: missionaries=NIL cannibals=(C) boat=NIL missionaries=(M M M) cannibals=(C C) boat=B N44 from Parent:N42 Node Operator:MOVE-CC-LR Node-state: missionaries=NIL cannibals=NIL boat=NIL missionaries=(M M M) cannibals=(C C C) boat=B N48 from Parent:N41 Node Operator:MOVE-MC-LR Node-state: missionaries=NIL cannibals=NIL boat=NIL missionaries=(M M M) cannibals=(C C C) boat=B N47 from Parent:N41 Node Operator:MOVE-C-LR Node-state: missionaries=(M) cannibals=NIL boat=NIL missionaries=(M M) cannibals=(C C C) boat=B N46 from Parent:N41 Node Operator:MOVE-M-LR Node-state: missionaries=NIL cannibals=(C) boat=NIL missionaries=(M M M) cannibals=(C C) boat=B E-NODE======================= N39 from Parent:N37 Node Operator:MOVE-MM-RL Node-state: missionaries=(M M) cannibals=(C) boat=B missionaries=(M) cannibals=(C C) boat=NIL >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N41 from Parent:N37 Node Operator:MOVE-M-RL Node-state: missionaries=(M) cannibals=(C) boat=B missionaries=(M M) cannibals=(C C) boat=NIL N42 from Parent:N37 Node Operator:MOVE-C-RL Node-state: missionaries=NIL cannibals=(C C) boat=B missionaries=(M M M) cannibals=(C) boat=NIL N37 from Parent:N35 Node Operator:MOVE-CC-LR Node-state: missionaries=NIL cannibals=(C) boat=NIL missionaries=(M M M) cannibals=(C C) boat=B N35 from Parent:N28 Node Operator:MOVE-C-RL Node-state: missionaries=NIL cannibals=(C C C) boat=B missionaries=(M M M) cannibals=NIL boat=NIL N28 from Parent:N27 Node Operator:MOVE-MM-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B N27 from Parent:N19 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N45 from Parent:N42 Node Operator:MOVE-C-LR Node-state: missionaries=NIL cannibals=(C) boat=NIL missionaries=(M M M) cannibals=(C C) boat=B N44 from Parent:N42 Node Operator:MOVE-CC-LR Node-state: missionaries=NIL cannibals=NIL boat=NIL missionaries=(M M M) cannibals=(C C C) boat=B N48 from Parent:N41 Node Operator:MOVE-MC-LR Node-state: missionaries=NIL cannibals=NIL boat=NIL missionaries=(M M M) cannibals=(C C C) boat=B N47 from Parent:N41 Node Operator:MOVE-C-LR Node-state: missionaries=(M) cannibals=NIL boat=NIL missionaries=(M M) cannibals=(C C C) boat=B N46 from Parent:N41 Node Operator:MOVE-M-LR Node-state: missionaries=NIL cannibals=(C) boat=NIL missionaries=(M M M) cannibals=(C C) boat=B E-NODE======================= N45 from Parent:N42 Node Operator:MOVE-C-LR Node-state: missionaries=NIL cannibals=(C) boat=NIL missionaries=(M M M) cannibals=(C C) boat=B >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Solve EXPLORED========================= N41 from Parent:N37 Node Operator:MOVE-M-RL Node-state: missionaries=(M) cannibals=(C) boat=B missionaries=(M M) cannibals=(C C) boat=NIL N42 from Parent:N37 Node Operator:MOVE-C-RL Node-state: missionaries=NIL cannibals=(C C) boat=B missionaries=(M M M) cannibals=(C) boat=NIL N37 from Parent:N35 Node Operator:MOVE-CC-LR Node-state: missionaries=NIL cannibals=(C) boat=NIL missionaries=(M M M) cannibals=(C C) boat=B N35 from Parent:N28 Node Operator:MOVE-C-RL Node-state: missionaries=NIL cannibals=(C C C) boat=B missionaries=(M M M) cannibals=NIL boat=NIL N28 from Parent:N27 Node Operator:MOVE-MM-LR Node-state: missionaries=NIL cannibals=(C C) boat=NIL missionaries=(M M M) cannibals=(C) boat=B N27 from Parent:N19 Node Operator:MOVE-MC-RL Node-state: missionaries=(M M) cannibals=(C C) boat=B missionaries=(M) cannibals=(C) boat=NIL N19 from Parent:N18 Node Operator:MOVE-MM-LR Node-state: missionaries=(M) cannibals=(C) boat=NIL missionaries=(M M) cannibals=(C C) boat=B N18 from Parent:N13 Node Operator:MOVE-C-RL Node-state: missionaries=(M M M) cannibals=(C) boat=B missionaries=NIL cannibals=(C C) boat=NIL N13 from Parent:N6 Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=NIL boat=NIL missionaries=NIL cannibals=(C C C) boat=B N6 from Parent:N5 Node Operator:MOVE-M-RL Node-state: missionaries=(M M M) cannibals=(C C) boat=B missionaries=NIL cannibals=(C) boat=NIL N2 from Parent:ROOT Node Operator:MOVE-CC-LR Node-state: missionaries=(M M M) cannibals=(C) boat=NIL missionaries=NIL cannibals=(C C) boat=B N4 from Parent:ROOT Node Operator:MOVE-C-LR Node-state: missionaries=(M M M) cannibals=(C C) boat=NIL missionaries=NIL cannibals=(C) boat=B N5 from Parent:ROOT Node Operator:MOVE-MC-LR Node-state: missionaries=(M M) cannibals=(C C) boat=NIL missionaries=(M) cannibals=(C) boat=B ROOT Node-state: missionaries=(M M M) cannibals=(C C C) boat=B missionaries=NIL cannibals=NIL boat=NIL UNEXPLORED======================= N44 from Parent:N42 Node Operator:MOVE-CC-LR Node-state: missionaries=NIL cannibals=NIL boat=NIL missionaries=(M M M) cannibals=(C C C) boat=B N48 from Parent:N41 Node Operator:MOVE-MC-LR Node-state: missionaries=NIL cannibals=NIL boat=NIL missionaries=(M M M) cannibals=(C C C) boat=B N47 from Parent:N41 Node Operator:MOVE-C-LR Node-state: missionaries=(M) cannibals=NIL boat=NIL missionaries=(M M) cannibals=(C C C) boat=B N46 from Parent:N41 Node Operator:MOVE-M-LR Node-state: missionaries=NIL cannibals=(C) boat=NIL missionaries=(M M M) cannibals=(C C) boat=B E-NODE======================= N44 from Parent:N42 Node Operator:MOVE-CC-LR Node-state: missionaries=NIL cannibals=NIL boat=NIL missionaries=(M M M) cannibals=(C C C) boat=B =============Got a solution!============= Move (C C B) from left bank to right bank Move (C B) from right bank to left bank Move (C C B) from left bank to right bank Move (C B) from right bank to left bank Move (M M B) from left bank to right bank Move (M C B) from right bank to left bank Move (M M B) from left bank to right bank Move (C B) from right bank to left bank Move (C C B) from left bank to right bank Move (M B) from right bank to left bank Move (M C B) from left bank to right bank NIL [3]> (bye) Bye.