2
goRight( LOC(LEAF "*", HAND ([LEAF "e"],HAND ([LEAF "-"], HAND([NODE [NODE [NODE [LEAF "a"; LEAF "*"; LEAF "b"]; LEAF "+"; NODE [LEAF "c"; LEAF "*"; LEAF "d"]]]], TOP, []), []), [LEAF "f"])))
TA_Result (LOC (LEAF "f", HAND ([LEAF "*"; LEAF "e"], HAND ([LEAF "-"], HAND([NODE [NODE [NODE [LEAF "a"; LEAF "*"; LEAF "b"]; LEAF "+"; NODE [LEAF "c"; LEAF "*"; LEAF "d"]]]], TOP, []), []), [])))
2
goUp(LOC (LEAF "f", HAND ([LEAF "*"; LEAF "e"], HAND ([LEAF "-"], HAND([NODE [NODE [NODE [LEAF "a"; LEAF "*"; LEAF "b"]; LEAF "+"; NODE [LEAF "c"; LEAF "*"; LEAF "d"]]]], TOP, []), []), [])))
TA_Result (LOC (NODE [LEAF "e"; LEAF "*"; LEAF "f"], HAND ([LEAF "-"], HAND([NODE [NODE [NODE [LEAF "a"; LEAF "*"; LEAF "b"]; LEAF "+"; NODE [LEAF "c"; LEAF "*"; LEAF "d"]]]], TOP, []), [])))
2
goLeft (goUp (LOC (NODE [LEAF "e"; LEAF "*"; LEAF "f"], HAND ([LEAF "-"], HAND([NODE [NODE [LEAF "a"; LEAF "*"; LEAF "b"]; LEAF "+"; NODE [LEAF "c"; LEAF "*"; LEAF "d"]]], TOP, []), []))))
TA_Result (LOC (NODE [NODE [LEAF "a"; LEAF "*"; LEAF "b"]; LEAF "+"; NODE [LEAF "c"; LEAF "*"; LEAF "d"]], HAND([], TOP, [NODE [LEAF "-"; NODE [LEAF "e"; LEAF "*"; LEAF "f"]]])))
2
goDown (LOC (NODE [NODE [LEAF "a"; LEAF "*"; LEAF "b"]; LEAF "+"; NODE [LEAF "c"; LEAF "*"; LEAF "d"]], TOP))
TA_Result (LOC (NODE [LEAF "a"; LEAF "*"; LEAF "b"], HAND ([], TOP, [LEAF "+"; NODE [LEAF "c"; LEAF "*"; LEAF "d"]])))
2
goRight(goRight(LOC (NODE [LEAF "a"; LEAF "*"; LEAF "b"], HAND ([], TOP, [LEAF "+"; NODE [LEAF "c"; LEAF "*"; LEAF "d"]]))))
TA_Result (LOC (NODE [LEAF "c"; LEAF "*"; LEAF "d"], HAND ([LEAF "+"; NODE [LEAF "a"; LEAF "*"; LEAF "b"]], TOP, [])))