/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/symbolic_variables_test.runfiles/dreal/_solib_k8/