A* Mario AI as used by Robin Baumgarten for the CIG 2009 Mario AI competition