Yidong Long -- ARA* implementation