Reverse Engineering 3201: Symbolic Analysis Short URL Redirect