True True 300 300 True True in 6 never True True True False True locations_model True end 2 True False True False True go-previous-symbolic 2 True go-next-symbolic 2 True go-up-symbolic 2