FIRE    1 move-alone: f-1,f-2FIRE    2 fox-eats-goat: f-4FIRE    3 move-with-fox: f-1,f-2FIRE    4 goat-eats-cabbage: f-5FIRE    5 move-with-goat: f-1,f-2FIRE    6 move-alone: f-6,f-3FIRE    7 move-alone: f-7,f-2FIRE    8 circular-path: f-6,f-8FIRE    9 move-with-fox: f-7,f-2FIRE   10 move-alone: f-9,f-3FIRE   11 fox-eats-goat: f-10FIRE   12 move-with-fox: f-9,f-3FIRE   13 circular-path: f-7,f-11FIRE   14 move-with-goat: f-9,f-3FIRE   15 move-alone: f-12,f-2FIRE   16 goat-eats-cabbage: f-13FIRE   17 move-with-goat: f-12,f-2FIRE   18 circular-path: f-9,f-14FIRE   19 move-with-cabbage: f-12,f-2FIRE   20 move-alone: f-15,f-3FIRE   21 move-alone: f-16,f-2FIRE   22 circular-path: f-15,f-17FIRE   23 move-with-goat: f-16,f-2FIRE   24 recognize-solution: f-18FIRE   25 further-solution: f-16,f-19FIRE   26 further-solution: f-15,f-20FIRE   27 further-solution: f-12,f-21FIRE   28 further-solution: f-9,f-22FIRE   29 further-solution: f-7,f-23FIRE   30 further-solution: f-6,f-24FIRE   31 further-solution: f-1,f-25FIRE   32 print-solution: f-26Solution found: Farmer moves with goat to shore-2.Farmer moves alone to shore-1.Farmer moves with fox to shore-2.Farmer moves with goat to shore-1.Farmer moves with cabbage to shore-2.Farmer moves alone to shore-1.Farmer moves with goat to shore-2.FIRE   33 move-with-fox: f-15,f-3FIRE   34 move-alone: f-27,f-2FIRE   35 fox-eats-goat: f-28FIRE   36 move-with-fox: f-27,f-2FIRE   37 circular-path: f-15,f-29FIRE   38 move-with-goat: f-27,f-2FIRE   39 move-alone: f-30,f-3FIRE   40 goat-eats-cabbage: f-31FIRE   41 move-with-goat: f-30,f-3FIRE   42 circular-path: f-27,f-32FIRE   43 move-with-cabbage: f-30,f-3FIRE   44 circular-path: f-7,f-33FIRE   45 move-with-cabbage: f-15,f-3FIRE   46 circular-path: f-12,f-34FIRE   47 move-with-cabbage: f-7,f-2FIRE   48 circular-path: f-35,f-30FIRE   49 move-alone: f-35,f-3FIRE   50 goat-eats-cabbage: f-36FIRE   51 move-with-goat: f-35,f-3FIRE   52 circular-path: f-37,f-27FIRE   53 move-alone: f-37,f-2FIRE   54 fox-eats-goat: f-38FIRE   55 move-with-fox: f-37,f-2FIRE   56 move-alone: f-39,f-3FIRE   57 move-alone: f-40,f-2FIRE   58 circular-path: f-15,f-41FIRE   59 move-with-goat: f-40,f-2FIRE   60 recognize-solution: f-42FIRE   61 further-solution: f-40,f-43FIRE   62 further-solution: f-39,f-44FIRE   63 further-solution: f-37,f-45FIRE   64 further-solution: f-35,f-46FIRE   65 further-solution: f-7,f-47FIRE   66 further-solution: f-6,f-48FIRE   67 further-solution: f-1,f-49FIRE   68 print-solution: f-50Solution found: Farmer moves with goat to shore-2.Farmer moves alone to shore-1.Farmer moves with cabbage to shore-2.Farmer moves with goat to shore-1.Farmer moves with fox to shore-2.Farmer moves alone to shore-1.Farmer moves with goat to shore-2.FIRE   69 move-with-fox: f-39,f-3FIRE   70 circular-path: f-37,f-51FIRE   71 move-with-cabbage: f-39,f-3FIRE   72 circular-path: f-12,f-52FIRE   73 move-with-goat: f-37,f-2FIRE   74 circular-path: f-35,f-53FIRE   75 move-with-cabbage: f-35,f-3FIRE   76 circular-path: f-7,f-54FIRE   77 move-with-goat: f-6,f-3FIRE   78 circular-path: f-1,f-55FIRE   79 move-with-cabbage: f-1,f-2FIRE   80 fox-eats-goat: f-56