From cf08842e8ead869ebaa2070bdbbec40163aeec03 Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Sat, 6 Feb 2021 18:03:00 +0100
Subject: Remove dreal

---
 .../drake_symbolic/symbolic_environment.pic.d      | 202 ------------------
 .../drake_symbolic/symbolic_environment.pic.o      | Bin 43656 -> 0 bytes
 .../_objs/drake_symbolic/symbolic_expression.pic.d | 213 -------------------
 .../_objs/drake_symbolic/symbolic_expression.pic.o | Bin 154872 -> 0 bytes
 .../drake_symbolic/symbolic_expression_cell.pic.d  | 227 ---------------------
 .../drake_symbolic/symbolic_expression_cell.pic.o  | Bin 448352 -> 0 bytes
 .../symbolic_expression_visitor.pic.d              | 201 ------------------
 .../symbolic_expression_visitor.pic.o              | Bin 2224 -> 0 bytes
 .../_objs/drake_symbolic/symbolic_formula.pic.d    | 205 -------------------
 .../_objs/drake_symbolic/symbolic_formula.pic.o    | Bin 140008 -> 0 bytes
 .../drake_symbolic/symbolic_formula_cell.pic.d     | 205 -------------------
 .../drake_symbolic/symbolic_formula_cell.pic.o     | Bin 178040 -> 0 bytes
 .../drake_symbolic/symbolic_formula_visitor.pic.d  | 200 ------------------
 .../drake_symbolic/symbolic_formula_visitor.pic.o  | Bin 2216 -> 0 bytes
 .../_objs/drake_symbolic/symbolic_variable.pic.d   | 190 -----------------
 .../_objs/drake_symbolic/symbolic_variable.pic.o   | Bin 23400 -> 0 bytes
 .../_objs/drake_symbolic/symbolic_variables.pic.d  | 198 ------------------
 .../_objs/drake_symbolic/symbolic_variables.pic.o  | Bin 30848 -> 0 bytes
 18 files changed, 1841 deletions(-)
 delete mode 100755 Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_environment.pic.d
 delete mode 100755 Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_environment.pic.o
 delete mode 100755 Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression.pic.d
 delete mode 100755 Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression.pic.o
 delete mode 100755 Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression_cell.pic.d
 delete mode 100755 Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression_cell.pic.o
 delete mode 100755 Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression_visitor.pic.d
 delete mode 100755 Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression_visitor.pic.o
 delete mode 100755 Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula.pic.d
 delete mode 100755 Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula.pic.o
 delete mode 100755 Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula_cell.pic.d
 delete mode 100755 Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula_cell.pic.o
 delete mode 100755 Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula_visitor.pic.d
 delete mode 100755 Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula_visitor.pic.o
 delete mode 100755 Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_variable.pic.d
 delete mode 100755 Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_variable.pic.o
 delete mode 100755 Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_variables.pic.d
 delete mode 100755 Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_variables.pic.o

(limited to 'Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic')

diff --git a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_environment.pic.d b/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_environment.pic.d
deleted file mode 100755
index 4336d8ce..00000000
--- a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_environment.pic.d
+++ /dev/null
@@ -1,202 +0,0 @@
-bazel-out/k8-opt/bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_environment.pic.o: \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_environment.cc \
- /usr/include/stdc-predef.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_environment.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/initializer_list \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++config.h \
- /usr/include/bits/wordsize.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.h \
- /usr/include/features.h /usr/include/sys/cdefs.h \
- /usr/include/bits/long-double.h /usr/include/gnu/stubs.h \
- /usr/include/gnu/stubs-64.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cpu_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ostream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ios \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iosfwd \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stringfwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/memoryfwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/postypes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwchar \
- /usr/include/wchar.h /usr/include/bits/libc-header-start.h \
- /usr/include/bits/floatn.h /usr/include/bits/floatn-common.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stdarg.h \
- /usr/include/bits/wchar.h /usr/include/bits/types/wint_t.h \
- /usr/include/bits/types/mbstate_t.h \
- /usr/include/bits/types/__mbstate_t.h /usr/include/bits/types/__FILE.h \
- /usr/include/bits/types/FILE.h /usr/include/bits/types/locale_t.h \
- /usr/include/bits/types/__locale_t.h /usr/include/bits/wchar2.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/exception \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_init_exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/typeinfo \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hash_bytes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/new \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/nested_exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/move.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/char_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algobase.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functexcept.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cpp_type_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/type_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/numeric_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_pair.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_types.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_funcs.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/concept_check.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/assertions.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ptr_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/debug.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/predefined_ops.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stdint.h \
- /usr/include/stdint.h /usr/include/bits/types.h \
- /usr/include/bits/timesize.h /usr/include/bits/typesizes.h \
- /usr/include/bits/time64.h /usr/include/bits/stdint-intn.h \
- /usr/include/bits/stdint-uintn.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/localefwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++locale.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/clocale \
- /usr/include/locale.h /usr/include/bits/locale.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cctype \
- /usr/include/ctype.h /usr/include/bits/endian.h \
- /usr/include/bits/endianness.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ios_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/atomicity.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr-default.h \
- /usr/include/pthread.h /usr/include/sched.h \
- /usr/include/bits/types/time_t.h \
- /usr/include/bits/types/struct_timespec.h /usr/include/bits/sched.h \
- /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.h \
- /usr/include/time.h /usr/include/bits/time.h /usr/include/bits/timex.h \
- /usr/include/bits/types/struct_timeval.h \
- /usr/include/bits/types/clock_t.h /usr/include/bits/types/struct_tm.h \
- /usr/include/bits/types/clockid_t.h /usr/include/bits/types/timer_t.h \
- /usr/include/bits/types/struct_itimerspec.h \
- /usr/include/bits/pthreadtypes.h /usr/include/bits/thread-shared-types.h \
- /usr/include/bits/pthreadtypes-arch.h /usr/include/bits/struct_mutex.h \
- /usr/include/bits/struct_rwlock.h /usr/include/bits/setjmp.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/atomic_word.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/new_allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream_insert.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_forced.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_function.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/binders.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_access.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/iterator_concepts.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/concepts \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_cmp.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/int_limits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/alloc_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/alloc_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_construct.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/string_conversions.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdlib \
- /usr/include/stdlib.h /usr/include/bits/waitflags.h \
- /usr/include/bits/waitstatus.h /usr/include/sys/types.h \
- /usr/include/endian.h /usr/include/bits/byteswap.h \
- /usr/include/bits/uintn-identity.h /usr/include/sys/select.h \
- /usr/include/bits/select.h /usr/include/bits/types/sigset_t.h \
- /usr/include/bits/types/__sigset_t.h /usr/include/bits/select2.h \
- /usr/include/alloca.h /usr/include/bits/stdlib-bsearch.h \
- /usr/include/bits/stdlib-float.h /usr/include/bits/stdlib.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_abs.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdio \
- /usr/include/stdio.h /usr/include/bits/types/__fpos_t.h \
- /usr/include/bits/types/__fpos64_t.h \
- /usr/include/bits/types/struct_FILE.h \
- /usr/include/bits/types/cookie_io_functions_t.h \
- /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h \
- /usr/include/bits/stdio.h /usr/include/bits/stdio2.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cerrno \
- /usr/include/errno.h /usr/include/bits/errno.h \
- /usr/include/linux/errno.h /usr/include/asm/errno.h \
- /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \
- /usr/include/bits/types/error_t.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/charconv.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functional_hash.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/system_error \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/error_constants.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdexcept \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/streambuf \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwctype \
- /usr/include/wctype.h /usr/include/bits/wctype-wchar.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf_iterator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_inline.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/unordered_map \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/aligned_buffer.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hashtable.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hashtable_policy.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/tuple \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/utility \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_relops.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/array \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uses_allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/invoke.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unordered_map.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/erase_if.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_variable.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstddef \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/functional \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/refwrap.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_function.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/memory \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_uninitialized.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tempbuf.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_raw_storage_iter.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ranges_uninitialized.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/concurrence.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unique_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocated_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_atomic.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_lockfree_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/hash.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iostream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/istream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/istream.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/map \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tree.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_map.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_multimap.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/set \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_set.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_multiset.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/vector \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_vector.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_bvector.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/vector.tcc \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_variables.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cmath \
- /usr/include/math.h /usr/include/bits/math-vector.h \
- /usr/include/bits/libm-simd-decl-stubs.h \
- /usr/include/bits/flt-eval-method.h /usr/include/bits/fp-logb.h \
- /usr/include/bits/fp-fast.h \
- /usr/include/bits/mathcalls-helper-functions.h \
- /usr/include/bits/mathcalls.h /usr/include/bits/mathcalls-narrow.h \
- /usr/include/bits/iscanonical.h /usr/include/bits/mathinline.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/sstream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/sstream.tcc
diff --git a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_environment.pic.o b/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_environment.pic.o
deleted file mode 100755
index d802ed8f..00000000
Binary files a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_environment.pic.o and /dev/null differ
diff --git a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression.pic.d b/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression.pic.d
deleted file mode 100755
index 521d131f..00000000
--- a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression.pic.d
+++ /dev/null
@@ -1,213 +0,0 @@
-bazel-out/k8-opt/bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression.pic.o: \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_expression.cc \
- /usr/include/stdc-predef.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_expression.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/algorithm \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/utility \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++config.h \
- /usr/include/bits/wordsize.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.h \
- /usr/include/features.h /usr/include/sys/cdefs.h \
- /usr/include/bits/long-double.h /usr/include/gnu/stubs.h \
- /usr/include/gnu/stubs-64.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cpu_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_relops.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_pair.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/move.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/initializer_list \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algobase.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functexcept.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cpp_type_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/type_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/numeric_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_types.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_funcs.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/concept_check.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/assertions.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ptr_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/debug.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/predefined_ops.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algo.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdlib \
- /usr/include/stdlib.h /usr/include/bits/libc-header-start.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \
- /usr/include/bits/waitflags.h /usr/include/bits/waitstatus.h \
- /usr/include/bits/floatn.h /usr/include/bits/floatn-common.h \
- /usr/include/bits/types/locale_t.h /usr/include/bits/types/__locale_t.h \
- /usr/include/sys/types.h /usr/include/bits/types.h \
- /usr/include/bits/timesize.h /usr/include/bits/typesizes.h \
- /usr/include/bits/time64.h /usr/include/bits/types/clock_t.h \
- /usr/include/bits/types/clockid_t.h /usr/include/bits/types/time_t.h \
- /usr/include/bits/types/timer_t.h /usr/include/bits/stdint-intn.h \
- /usr/include/endian.h /usr/include/bits/endian.h \
- /usr/include/bits/endianness.h /usr/include/bits/byteswap.h \
- /usr/include/bits/uintn-identity.h /usr/include/sys/select.h \
- /usr/include/bits/select.h /usr/include/bits/types/sigset_t.h \
- /usr/include/bits/types/__sigset_t.h \
- /usr/include/bits/types/struct_timeval.h \
- /usr/include/bits/types/struct_timespec.h /usr/include/bits/select2.h \
- /usr/include/bits/pthreadtypes.h /usr/include/bits/thread-shared-types.h \
- /usr/include/bits/pthreadtypes-arch.h /usr/include/bits/struct_mutex.h \
- /usr/include/bits/struct_rwlock.h /usr/include/alloca.h \
- /usr/include/bits/stdlib-bsearch.h /usr/include/bits/stdlib-float.h \
- /usr/include/bits/stdlib.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_abs.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/algorithmfwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_heap.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tempbuf.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_construct.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/new \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/exception \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_init_exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/typeinfo \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hash_bytes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/nested_exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uniform_int_dist.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstddef \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/functional \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_function.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/binders.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/tuple \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/array \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_access.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/iterator_concepts.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/concepts \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_cmp.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/int_limits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uses_allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/invoke.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functional_hash.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/refwrap.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_function.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/map \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tree.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/new_allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/memoryfwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/alloc_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/alloc_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/aligned_buffer.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_map.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_multimap.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/erase_if.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ostream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ios \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iosfwd \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stringfwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/postypes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwchar \
- /usr/include/wchar.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stdarg.h \
- /usr/include/bits/wchar.h /usr/include/bits/types/wint_t.h \
- /usr/include/bits/types/mbstate_t.h \
- /usr/include/bits/types/__mbstate_t.h /usr/include/bits/types/__FILE.h \
- /usr/include/bits/types/FILE.h /usr/include/bits/wchar2.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/char_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stdint.h \
- /usr/include/stdint.h /usr/include/bits/stdint-uintn.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/localefwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++locale.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/clocale \
- /usr/include/locale.h /usr/include/bits/locale.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cctype \
- /usr/include/ctype.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ios_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/atomicity.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr-default.h \
- /usr/include/pthread.h /usr/include/sched.h /usr/include/bits/sched.h \
- /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.h \
- /usr/include/time.h /usr/include/bits/time.h /usr/include/bits/timex.h \
- /usr/include/bits/types/struct_tm.h \
- /usr/include/bits/types/struct_itimerspec.h /usr/include/bits/setjmp.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/atomic_word.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream_insert.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_forced.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/string_conversions.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdio \
- /usr/include/stdio.h /usr/include/bits/types/__fpos_t.h \
- /usr/include/bits/types/__fpos64_t.h \
- /usr/include/bits/types/struct_FILE.h \
- /usr/include/bits/types/cookie_io_functions_t.h \
- /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h \
- /usr/include/bits/stdio.h /usr/include/bits/stdio2.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cerrno \
- /usr/include/errno.h /usr/include/bits/errno.h \
- /usr/include/linux/errno.h /usr/include/asm/errno.h \
- /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \
- /usr/include/bits/types/error_t.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/charconv.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/system_error \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/error_constants.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdexcept \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/streambuf \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwctype \
- /usr/include/wctype.h /usr/include/bits/wctype-wchar.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf_iterator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_inline.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/unordered_map \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hashtable.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hashtable_policy.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unordered_map.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/vector \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_uninitialized.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_vector.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_bvector.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/vector.tcc \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/hash.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iostream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/istream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/istream.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/set \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_set.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_multiset.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_environment.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_variable.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/memory \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_raw_storage_iter.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ranges_uninitialized.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/concurrence.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unique_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocated_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_atomic.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_lockfree_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_variables.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cassert \
- /usr/include/assert.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cmath \
- /usr/include/math.h /usr/include/bits/math-vector.h \
- /usr/include/bits/libm-simd-decl-stubs.h \
- /usr/include/bits/flt-eval-method.h /usr/include/bits/fp-logb.h \
- /usr/include/bits/fp-fast.h \
- /usr/include/bits/mathcalls-helper-functions.h \
- /usr/include/bits/mathcalls.h /usr/include/bits/mathcalls-narrow.h \
- /usr/include/bits/iscanonical.h /usr/include/bits/mathinline.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/sstream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/sstream.tcc \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_expression_cell.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/atomic \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_formula.h
diff --git a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression.pic.o b/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression.pic.o
deleted file mode 100755
index 827ab382..00000000
Binary files a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression.pic.o and /dev/null differ
diff --git a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression_cell.pic.d b/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression_cell.pic.d
deleted file mode 100755
index aa20cd34..00000000
--- a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression_cell.pic.d
+++ /dev/null
@@ -1,227 +0,0 @@
-bazel-out/k8-opt/bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression_cell.pic.o: \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_expression_cell.cc \
- /usr/include/stdc-predef.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_expression_cell.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/algorithm \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/utility \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++config.h \
- /usr/include/bits/wordsize.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.h \
- /usr/include/features.h /usr/include/sys/cdefs.h \
- /usr/include/bits/long-double.h /usr/include/gnu/stubs.h \
- /usr/include/gnu/stubs-64.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cpu_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_relops.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_pair.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/move.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/initializer_list \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algobase.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functexcept.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cpp_type_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/type_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/numeric_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_types.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_funcs.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/concept_check.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/assertions.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ptr_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/debug.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/predefined_ops.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algo.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdlib \
- /usr/include/stdlib.h /usr/include/bits/libc-header-start.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \
- /usr/include/bits/waitflags.h /usr/include/bits/waitstatus.h \
- /usr/include/bits/floatn.h /usr/include/bits/floatn-common.h \
- /usr/include/bits/types/locale_t.h /usr/include/bits/types/__locale_t.h \
- /usr/include/sys/types.h /usr/include/bits/types.h \
- /usr/include/bits/timesize.h /usr/include/bits/typesizes.h \
- /usr/include/bits/time64.h /usr/include/bits/types/clock_t.h \
- /usr/include/bits/types/clockid_t.h /usr/include/bits/types/time_t.h \
- /usr/include/bits/types/timer_t.h /usr/include/bits/stdint-intn.h \
- /usr/include/endian.h /usr/include/bits/endian.h \
- /usr/include/bits/endianness.h /usr/include/bits/byteswap.h \
- /usr/include/bits/uintn-identity.h /usr/include/sys/select.h \
- /usr/include/bits/select.h /usr/include/bits/types/sigset_t.h \
- /usr/include/bits/types/__sigset_t.h \
- /usr/include/bits/types/struct_timeval.h \
- /usr/include/bits/types/struct_timespec.h /usr/include/bits/select2.h \
- /usr/include/bits/pthreadtypes.h /usr/include/bits/thread-shared-types.h \
- /usr/include/bits/pthreadtypes-arch.h /usr/include/bits/struct_mutex.h \
- /usr/include/bits/struct_rwlock.h /usr/include/alloca.h \
- /usr/include/bits/stdlib-bsearch.h /usr/include/bits/stdlib-float.h \
- /usr/include/bits/stdlib.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_abs.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/algorithmfwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_heap.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tempbuf.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_construct.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/new \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/exception \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_init_exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/typeinfo \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hash_bytes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/nested_exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uniform_int_dist.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/atomic \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stdint.h \
- /usr/include/stdint.h /usr/include/bits/wchar.h \
- /usr/include/bits/stdint-uintn.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_lockfree_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstddef \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/map \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tree.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/new_allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/memoryfwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_function.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/binders.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/alloc_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/alloc_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/aligned_buffer.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_map.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/tuple \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/array \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_access.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/iterator_concepts.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/concepts \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_cmp.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/int_limits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uses_allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/invoke.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_multimap.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/erase_if.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ostream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ios \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iosfwd \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stringfwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/postypes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwchar \
- /usr/include/wchar.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stdarg.h \
- /usr/include/bits/types/wint_t.h /usr/include/bits/types/mbstate_t.h \
- /usr/include/bits/types/__mbstate_t.h /usr/include/bits/types/__FILE.h \
- /usr/include/bits/types/FILE.h /usr/include/bits/wchar2.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/char_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/localefwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++locale.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/clocale \
- /usr/include/locale.h /usr/include/bits/locale.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cctype \
- /usr/include/ctype.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ios_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/atomicity.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr-default.h \
- /usr/include/pthread.h /usr/include/sched.h /usr/include/bits/sched.h \
- /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.h \
- /usr/include/time.h /usr/include/bits/time.h /usr/include/bits/timex.h \
- /usr/include/bits/types/struct_tm.h \
- /usr/include/bits/types/struct_itimerspec.h /usr/include/bits/setjmp.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/atomic_word.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream_insert.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_forced.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/string_conversions.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdio \
- /usr/include/stdio.h /usr/include/bits/types/__fpos_t.h \
- /usr/include/bits/types/__fpos64_t.h \
- /usr/include/bits/types/struct_FILE.h \
- /usr/include/bits/types/cookie_io_functions_t.h \
- /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h \
- /usr/include/bits/stdio.h /usr/include/bits/stdio2.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cerrno \
- /usr/include/errno.h /usr/include/bits/errno.h \
- /usr/include/linux/errno.h /usr/include/asm/errno.h \
- /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \
- /usr/include/bits/types/error_t.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/charconv.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functional_hash.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/system_error \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/error_constants.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdexcept \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/streambuf \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwctype \
- /usr/include/wctype.h /usr/include/bits/wctype-wchar.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf_iterator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_inline.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream.tcc \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_environment.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/unordered_map \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hashtable.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hashtable_policy.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unordered_map.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_variable.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/functional \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/refwrap.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_function.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/memory \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_uninitialized.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_raw_storage_iter.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ranges_uninitialized.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/concurrence.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unique_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocated_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_atomic.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/hash.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iostream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/istream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/istream.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/set \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_set.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_multiset.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/vector \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_vector.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_bvector.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/vector.tcc \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_variables.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_expression.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_formula.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cassert \
- /usr/include/assert.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cmath \
- /usr/include/math.h /usr/include/bits/math-vector.h \
- /usr/include/bits/libm-simd-decl-stubs.h \
- /usr/include/bits/flt-eval-method.h /usr/include/bits/fp-logb.h \
- /usr/include/bits/fp-fast.h \
- /usr/include/bits/mathcalls-helper-functions.h \
- /usr/include/bits/mathcalls.h /usr/include/bits/mathcalls-narrow.h \
- /usr/include/bits/iscanonical.h /usr/include/bits/mathinline.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iomanip \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/locale \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets_nonio.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ctime \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/time_members.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/messages_members.h \
- /usr/include/libintl.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/codecvt.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets_nonio.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_conv.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/quoted_string.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/sstream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/sstream.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/numeric \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_numeric.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_expression_visitor.h
diff --git a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression_cell.pic.o b/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression_cell.pic.o
deleted file mode 100755
index 3cbcad31..00000000
Binary files a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression_cell.pic.o and /dev/null differ
diff --git a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression_visitor.pic.d b/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression_visitor.pic.d
deleted file mode 100755
index eaba61f6..00000000
--- a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression_visitor.pic.d
+++ /dev/null
@@ -1,201 +0,0 @@
-bazel-out/k8-opt/bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression_visitor.pic.o: \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_expression_visitor.cc \
- /usr/include/stdc-predef.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_expression_visitor.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cassert \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++config.h \
- /usr/include/bits/wordsize.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.h \
- /usr/include/features.h /usr/include/sys/cdefs.h \
- /usr/include/bits/long-double.h /usr/include/gnu/stubs.h \
- /usr/include/gnu/stubs-64.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cpu_defines.h \
- /usr/include/assert.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdexcept \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/exception \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_init_exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/typeinfo \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hash_bytes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/new \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/nested_exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/move.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stringfwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/memoryfwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/char_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algobase.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functexcept.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cpp_type_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/type_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/numeric_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_pair.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_types.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_funcs.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/concept_check.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/assertions.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ptr_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/debug.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/predefined_ops.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/postypes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwchar \
- /usr/include/wchar.h /usr/include/bits/libc-header-start.h \
- /usr/include/bits/floatn.h /usr/include/bits/floatn-common.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stdarg.h \
- /usr/include/bits/wchar.h /usr/include/bits/types/wint_t.h \
- /usr/include/bits/types/mbstate_t.h \
- /usr/include/bits/types/__mbstate_t.h /usr/include/bits/types/__FILE.h \
- /usr/include/bits/types/FILE.h /usr/include/bits/types/locale_t.h \
- /usr/include/bits/types/__locale_t.h /usr/include/bits/wchar2.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stdint.h \
- /usr/include/stdint.h /usr/include/bits/types.h \
- /usr/include/bits/timesize.h /usr/include/bits/typesizes.h \
- /usr/include/bits/time64.h /usr/include/bits/stdint-intn.h \
- /usr/include/bits/stdint-uintn.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/new_allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/localefwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++locale.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/clocale \
- /usr/include/locale.h /usr/include/bits/locale.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iosfwd \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cctype \
- /usr/include/ctype.h /usr/include/bits/endian.h \
- /usr/include/bits/endianness.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream_insert.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_forced.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_function.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/binders.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_access.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/initializer_list \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/iterator_concepts.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/concepts \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_cmp.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/int_limits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/atomicity.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr-default.h \
- /usr/include/pthread.h /usr/include/sched.h \
- /usr/include/bits/types/time_t.h \
- /usr/include/bits/types/struct_timespec.h /usr/include/bits/sched.h \
- /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.h \
- /usr/include/time.h /usr/include/bits/time.h /usr/include/bits/timex.h \
- /usr/include/bits/types/struct_timeval.h \
- /usr/include/bits/types/clock_t.h /usr/include/bits/types/struct_tm.h \
- /usr/include/bits/types/clockid_t.h /usr/include/bits/types/timer_t.h \
- /usr/include/bits/types/struct_itimerspec.h \
- /usr/include/bits/pthreadtypes.h /usr/include/bits/thread-shared-types.h \
- /usr/include/bits/pthreadtypes-arch.h /usr/include/bits/struct_mutex.h \
- /usr/include/bits/struct_rwlock.h /usr/include/bits/setjmp.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/atomic_word.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/alloc_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/alloc_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_construct.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/string_conversions.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdlib \
- /usr/include/stdlib.h /usr/include/bits/waitflags.h \
- /usr/include/bits/waitstatus.h /usr/include/sys/types.h \
- /usr/include/endian.h /usr/include/bits/byteswap.h \
- /usr/include/bits/uintn-identity.h /usr/include/sys/select.h \
- /usr/include/bits/select.h /usr/include/bits/types/sigset_t.h \
- /usr/include/bits/types/__sigset_t.h /usr/include/bits/select2.h \
- /usr/include/alloca.h /usr/include/bits/stdlib-bsearch.h \
- /usr/include/bits/stdlib-float.h /usr/include/bits/stdlib.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_abs.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdio \
- /usr/include/stdio.h /usr/include/bits/types/__fpos_t.h \
- /usr/include/bits/types/__fpos64_t.h \
- /usr/include/bits/types/struct_FILE.h \
- /usr/include/bits/types/cookie_io_functions_t.h \
- /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h \
- /usr/include/bits/stdio.h /usr/include/bits/stdio2.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cerrno \
- /usr/include/errno.h /usr/include/bits/errno.h \
- /usr/include/linux/errno.h /usr/include/asm/errno.h \
- /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \
- /usr/include/bits/types/error_t.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/charconv.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functional_hash.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/utility \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_relops.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_expression.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/algorithm \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algo.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/algorithmfwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_heap.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tempbuf.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uniform_int_dist.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstddef \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/functional \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/tuple \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/array \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uses_allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/invoke.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/refwrap.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_function.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/map \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tree.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/aligned_buffer.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_map.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_multimap.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/erase_if.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ostream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ios \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ios_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/system_error \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/error_constants.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/streambuf \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwctype \
- /usr/include/wctype.h /usr/include/bits/wctype-wchar.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf_iterator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_inline.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/unordered_map \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hashtable.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hashtable_policy.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unordered_map.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/vector \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_uninitialized.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_vector.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_bvector.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/vector.tcc \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/hash.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iostream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/istream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/istream.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/set \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_set.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_multiset.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_environment.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_variable.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/memory \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_raw_storage_iter.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ranges_uninitialized.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/concurrence.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unique_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocated_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_atomic.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_lockfree_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_variables.h
diff --git a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression_visitor.pic.o b/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression_visitor.pic.o
deleted file mode 100755
index 98fb78c5..00000000
Binary files a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression_visitor.pic.o and /dev/null differ
diff --git a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula.pic.d b/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula.pic.d
deleted file mode 100755
index 5c588753..00000000
--- a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula.pic.d
+++ /dev/null
@@ -1,205 +0,0 @@
-bazel-out/k8-opt/bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula.pic.o: \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_formula.cc \
- /usr/include/stdc-predef.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_formula.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/functional \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++config.h \
- /usr/include/bits/wordsize.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.h \
- /usr/include/features.h /usr/include/sys/cdefs.h \
- /usr/include/bits/long-double.h /usr/include/gnu/stubs.h \
- /usr/include/gnu/stubs-64.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cpu_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_function.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/move.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/binders.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/new \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/exception \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_init_exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/typeinfo \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hash_bytes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/nested_exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/tuple \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/utility \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_relops.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_pair.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/initializer_list \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/array \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functexcept.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algobase.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cpp_type_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/type_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/numeric_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_types.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_funcs.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/concept_check.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/assertions.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ptr_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/debug.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/predefined_ops.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_access.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/iterator_concepts.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/concepts \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_cmp.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/int_limits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uses_allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/invoke.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functional_hash.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/refwrap.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_function.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ostream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ios \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iosfwd \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stringfwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/memoryfwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/postypes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwchar \
- /usr/include/wchar.h /usr/include/bits/libc-header-start.h \
- /usr/include/bits/floatn.h /usr/include/bits/floatn-common.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stdarg.h \
- /usr/include/bits/wchar.h /usr/include/bits/types/wint_t.h \
- /usr/include/bits/types/mbstate_t.h \
- /usr/include/bits/types/__mbstate_t.h /usr/include/bits/types/__FILE.h \
- /usr/include/bits/types/FILE.h /usr/include/bits/types/locale_t.h \
- /usr/include/bits/types/__locale_t.h /usr/include/bits/wchar2.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/char_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stdint.h \
- /usr/include/stdint.h /usr/include/bits/types.h \
- /usr/include/bits/timesize.h /usr/include/bits/typesizes.h \
- /usr/include/bits/time64.h /usr/include/bits/stdint-intn.h \
- /usr/include/bits/stdint-uintn.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/localefwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++locale.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/clocale \
- /usr/include/locale.h /usr/include/bits/locale.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cctype \
- /usr/include/ctype.h /usr/include/bits/endian.h \
- /usr/include/bits/endianness.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ios_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/atomicity.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr-default.h \
- /usr/include/pthread.h /usr/include/sched.h \
- /usr/include/bits/types/time_t.h \
- /usr/include/bits/types/struct_timespec.h /usr/include/bits/sched.h \
- /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.h \
- /usr/include/time.h /usr/include/bits/time.h /usr/include/bits/timex.h \
- /usr/include/bits/types/struct_timeval.h \
- /usr/include/bits/types/clock_t.h /usr/include/bits/types/struct_tm.h \
- /usr/include/bits/types/clockid_t.h /usr/include/bits/types/timer_t.h \
- /usr/include/bits/types/struct_itimerspec.h \
- /usr/include/bits/pthreadtypes.h /usr/include/bits/thread-shared-types.h \
- /usr/include/bits/pthreadtypes-arch.h /usr/include/bits/struct_mutex.h \
- /usr/include/bits/struct_rwlock.h /usr/include/bits/setjmp.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/atomic_word.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/new_allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream_insert.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_forced.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/alloc_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/alloc_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_construct.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/string_conversions.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdlib \
- /usr/include/stdlib.h /usr/include/bits/waitflags.h \
- /usr/include/bits/waitstatus.h /usr/include/sys/types.h \
- /usr/include/endian.h /usr/include/bits/byteswap.h \
- /usr/include/bits/uintn-identity.h /usr/include/sys/select.h \
- /usr/include/bits/select.h /usr/include/bits/types/sigset_t.h \
- /usr/include/bits/types/__sigset_t.h /usr/include/bits/select2.h \
- /usr/include/alloca.h /usr/include/bits/stdlib-bsearch.h \
- /usr/include/bits/stdlib-float.h /usr/include/bits/stdlib.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_abs.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdio \
- /usr/include/stdio.h /usr/include/bits/types/__fpos_t.h \
- /usr/include/bits/types/__fpos64_t.h \
- /usr/include/bits/types/struct_FILE.h \
- /usr/include/bits/types/cookie_io_functions_t.h \
- /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h \
- /usr/include/bits/stdio.h /usr/include/bits/stdio2.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cerrno \
- /usr/include/errno.h /usr/include/bits/errno.h \
- /usr/include/linux/errno.h /usr/include/asm/errno.h \
- /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \
- /usr/include/bits/types/error_t.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/charconv.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/system_error \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/error_constants.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdexcept \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/streambuf \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwctype \
- /usr/include/wctype.h /usr/include/bits/wctype-wchar.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf_iterator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_inline.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/set \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tree.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/aligned_buffer.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_set.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_multiset.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/erase_if.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/hash.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstddef \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iostream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/istream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/istream.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/map \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_map.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_multimap.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/vector \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_uninitialized.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_vector.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_bvector.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/vector.tcc \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_environment.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/unordered_map \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hashtable.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hashtable_policy.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unordered_map.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_variable.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/memory \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tempbuf.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_raw_storage_iter.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ranges_uninitialized.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/concurrence.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unique_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocated_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_atomic.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_lockfree_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_variables.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_expression.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/algorithm \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algo.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/algorithmfwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_heap.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uniform_int_dist.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cassert \
- /usr/include/assert.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/sstream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/sstream.tcc \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_formula_cell.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/atomic
diff --git a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula.pic.o b/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula.pic.o
deleted file mode 100755
index 98e3257f..00000000
Binary files a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula.pic.o and /dev/null differ
diff --git a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula_cell.pic.d b/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula_cell.pic.d
deleted file mode 100755
index 3c82693b..00000000
--- a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula_cell.pic.d
+++ /dev/null
@@ -1,205 +0,0 @@
-bazel-out/k8-opt/bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula_cell.pic.o: \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_formula_cell.cc \
- /usr/include/stdc-predef.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_formula_cell.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/atomic \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++config.h \
- /usr/include/bits/wordsize.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.h \
- /usr/include/features.h /usr/include/sys/cdefs.h \
- /usr/include/bits/long-double.h /usr/include/gnu/stubs.h \
- /usr/include/gnu/stubs-64.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cpu_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stdint.h \
- /usr/include/stdint.h /usr/include/bits/libc-header-start.h \
- /usr/include/bits/types.h /usr/include/bits/timesize.h \
- /usr/include/bits/typesizes.h /usr/include/bits/time64.h \
- /usr/include/bits/wchar.h /usr/include/bits/stdint-intn.h \
- /usr/include/bits/stdint-uintn.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_lockfree_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/move.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/functional \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_function.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/binders.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/new \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/exception \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_init_exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/typeinfo \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hash_bytes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/nested_exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/tuple \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/utility \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_relops.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_pair.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/initializer_list \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/array \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functexcept.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algobase.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cpp_type_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/type_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/numeric_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_types.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_funcs.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/concept_check.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/assertions.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ptr_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/debug.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/predefined_ops.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_access.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/iterator_concepts.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/concepts \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_cmp.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/int_limits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uses_allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/invoke.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functional_hash.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/refwrap.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_function.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ostream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ios \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iosfwd \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stringfwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/memoryfwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/postypes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwchar \
- /usr/include/wchar.h /usr/include/bits/floatn.h \
- /usr/include/bits/floatn-common.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stdarg.h \
- /usr/include/bits/types/wint_t.h /usr/include/bits/types/mbstate_t.h \
- /usr/include/bits/types/__mbstate_t.h /usr/include/bits/types/__FILE.h \
- /usr/include/bits/types/FILE.h /usr/include/bits/types/locale_t.h \
- /usr/include/bits/types/__locale_t.h /usr/include/bits/wchar2.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/char_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/localefwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++locale.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/clocale \
- /usr/include/locale.h /usr/include/bits/locale.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cctype \
- /usr/include/ctype.h /usr/include/bits/endian.h \
- /usr/include/bits/endianness.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ios_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/atomicity.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr-default.h \
- /usr/include/pthread.h /usr/include/sched.h \
- /usr/include/bits/types/time_t.h \
- /usr/include/bits/types/struct_timespec.h /usr/include/bits/sched.h \
- /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.h \
- /usr/include/time.h /usr/include/bits/time.h /usr/include/bits/timex.h \
- /usr/include/bits/types/struct_timeval.h \
- /usr/include/bits/types/clock_t.h /usr/include/bits/types/struct_tm.h \
- /usr/include/bits/types/clockid_t.h /usr/include/bits/types/timer_t.h \
- /usr/include/bits/types/struct_itimerspec.h \
- /usr/include/bits/pthreadtypes.h /usr/include/bits/thread-shared-types.h \
- /usr/include/bits/pthreadtypes-arch.h /usr/include/bits/struct_mutex.h \
- /usr/include/bits/struct_rwlock.h /usr/include/bits/setjmp.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/atomic_word.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/new_allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream_insert.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_forced.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/alloc_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/alloc_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_construct.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/string_conversions.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdlib \
- /usr/include/stdlib.h /usr/include/bits/waitflags.h \
- /usr/include/bits/waitstatus.h /usr/include/sys/types.h \
- /usr/include/endian.h /usr/include/bits/byteswap.h \
- /usr/include/bits/uintn-identity.h /usr/include/sys/select.h \
- /usr/include/bits/select.h /usr/include/bits/types/sigset_t.h \
- /usr/include/bits/types/__sigset_t.h /usr/include/bits/select2.h \
- /usr/include/alloca.h /usr/include/bits/stdlib-bsearch.h \
- /usr/include/bits/stdlib-float.h /usr/include/bits/stdlib.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_abs.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdio \
- /usr/include/stdio.h /usr/include/bits/types/__fpos_t.h \
- /usr/include/bits/types/__fpos64_t.h \
- /usr/include/bits/types/struct_FILE.h \
- /usr/include/bits/types/cookie_io_functions_t.h \
- /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h \
- /usr/include/bits/stdio.h /usr/include/bits/stdio2.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cerrno \
- /usr/include/errno.h /usr/include/bits/errno.h \
- /usr/include/linux/errno.h /usr/include/asm/errno.h \
- /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \
- /usr/include/bits/types/error_t.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/charconv.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/system_error \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/error_constants.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdexcept \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/streambuf \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwctype \
- /usr/include/wctype.h /usr/include/bits/wctype-wchar.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf_iterator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_inline.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/set \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tree.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/aligned_buffer.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_set.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_multiset.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/erase_if.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/hash.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstddef \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iostream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/istream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/istream.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/map \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_map.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_multimap.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/vector \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_uninitialized.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_vector.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_bvector.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/vector.tcc \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_environment.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/unordered_map \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hashtable.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hashtable_policy.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unordered_map.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_variable.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/memory \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tempbuf.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_raw_storage_iter.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ranges_uninitialized.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/concurrence.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unique_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocated_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_atomic.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_variables.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_expression.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/algorithm \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algo.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/algorithmfwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_heap.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uniform_int_dist.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_formula.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cassert \
- /usr/include/assert.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/sstream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/sstream.tcc
diff --git a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula_cell.pic.o b/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula_cell.pic.o
deleted file mode 100755
index 078f1534..00000000
Binary files a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula_cell.pic.o and /dev/null differ
diff --git a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula_visitor.pic.d b/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula_visitor.pic.d
deleted file mode 100755
index c276d96b..00000000
--- a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula_visitor.pic.d
+++ /dev/null
@@ -1,200 +0,0 @@
-bazel-out/k8-opt/bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula_visitor.pic.o: \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_formula_visitor.cc \
- /usr/include/stdc-predef.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_formula_visitor.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/utility \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++config.h \
- /usr/include/bits/wordsize.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.h \
- /usr/include/features.h /usr/include/sys/cdefs.h \
- /usr/include/bits/long-double.h /usr/include/gnu/stubs.h \
- /usr/include/gnu/stubs-64.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cpu_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_relops.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_pair.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/move.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/initializer_list \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_formula.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/functional \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_function.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/binders.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/new \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/exception \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_init_exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/typeinfo \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hash_bytes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/nested_exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/tuple \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/array \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functexcept.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algobase.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cpp_type_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/type_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/numeric_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_types.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_funcs.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/concept_check.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/assertions.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ptr_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/debug.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/predefined_ops.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_access.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/iterator_concepts.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/concepts \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_cmp.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/int_limits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uses_allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/invoke.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functional_hash.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/refwrap.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_function.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ostream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ios \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iosfwd \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stringfwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/memoryfwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/postypes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwchar \
- /usr/include/wchar.h /usr/include/bits/libc-header-start.h \
- /usr/include/bits/floatn.h /usr/include/bits/floatn-common.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stdarg.h \
- /usr/include/bits/wchar.h /usr/include/bits/types/wint_t.h \
- /usr/include/bits/types/mbstate_t.h \
- /usr/include/bits/types/__mbstate_t.h /usr/include/bits/types/__FILE.h \
- /usr/include/bits/types/FILE.h /usr/include/bits/types/locale_t.h \
- /usr/include/bits/types/__locale_t.h /usr/include/bits/wchar2.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/char_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stdint.h \
- /usr/include/stdint.h /usr/include/bits/types.h \
- /usr/include/bits/timesize.h /usr/include/bits/typesizes.h \
- /usr/include/bits/time64.h /usr/include/bits/stdint-intn.h \
- /usr/include/bits/stdint-uintn.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/localefwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++locale.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/clocale \
- /usr/include/locale.h /usr/include/bits/locale.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cctype \
- /usr/include/ctype.h /usr/include/bits/endian.h \
- /usr/include/bits/endianness.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ios_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/atomicity.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr-default.h \
- /usr/include/pthread.h /usr/include/sched.h \
- /usr/include/bits/types/time_t.h \
- /usr/include/bits/types/struct_timespec.h /usr/include/bits/sched.h \
- /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.h \
- /usr/include/time.h /usr/include/bits/time.h /usr/include/bits/timex.h \
- /usr/include/bits/types/struct_timeval.h \
- /usr/include/bits/types/clock_t.h /usr/include/bits/types/struct_tm.h \
- /usr/include/bits/types/clockid_t.h /usr/include/bits/types/timer_t.h \
- /usr/include/bits/types/struct_itimerspec.h \
- /usr/include/bits/pthreadtypes.h /usr/include/bits/thread-shared-types.h \
- /usr/include/bits/pthreadtypes-arch.h /usr/include/bits/struct_mutex.h \
- /usr/include/bits/struct_rwlock.h /usr/include/bits/setjmp.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/atomic_word.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/new_allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream_insert.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_forced.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/alloc_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/alloc_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_construct.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/string_conversions.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdlib \
- /usr/include/stdlib.h /usr/include/bits/waitflags.h \
- /usr/include/bits/waitstatus.h /usr/include/sys/types.h \
- /usr/include/endian.h /usr/include/bits/byteswap.h \
- /usr/include/bits/uintn-identity.h /usr/include/sys/select.h \
- /usr/include/bits/select.h /usr/include/bits/types/sigset_t.h \
- /usr/include/bits/types/__sigset_t.h /usr/include/bits/select2.h \
- /usr/include/alloca.h /usr/include/bits/stdlib-bsearch.h \
- /usr/include/bits/stdlib-float.h /usr/include/bits/stdlib.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_abs.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdio \
- /usr/include/stdio.h /usr/include/bits/types/__fpos_t.h \
- /usr/include/bits/types/__fpos64_t.h \
- /usr/include/bits/types/struct_FILE.h \
- /usr/include/bits/types/cookie_io_functions_t.h \
- /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h \
- /usr/include/bits/stdio.h /usr/include/bits/stdio2.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cerrno \
- /usr/include/errno.h /usr/include/bits/errno.h \
- /usr/include/linux/errno.h /usr/include/asm/errno.h \
- /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \
- /usr/include/bits/types/error_t.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/charconv.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/system_error \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/error_constants.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdexcept \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/streambuf \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwctype \
- /usr/include/wctype.h /usr/include/bits/wctype-wchar.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf_iterator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_inline.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/set \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tree.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/aligned_buffer.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_set.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_multiset.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/erase_if.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/hash.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstddef \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iostream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/istream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/istream.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/map \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_map.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_multimap.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/vector \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_uninitialized.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_vector.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_bvector.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/vector.tcc \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_environment.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/unordered_map \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hashtable.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hashtable_policy.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unordered_map.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_variable.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/memory \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tempbuf.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_raw_storage_iter.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ranges_uninitialized.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/concurrence.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unique_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocated_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_atomic.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_lockfree_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_variables.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_expression.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/algorithm \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algo.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/algorithmfwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_heap.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uniform_int_dist.h
diff --git a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula_visitor.pic.o b/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula_visitor.pic.o
deleted file mode 100755
index 6ca48146..00000000
Binary files a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula_visitor.pic.o and /dev/null differ
diff --git a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_variable.pic.d b/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_variable.pic.d
deleted file mode 100755
index fb2a4e7a..00000000
--- a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_variable.pic.d
+++ /dev/null
@@ -1,190 +0,0 @@
-bazel-out/k8-opt/bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_variable.pic.o: \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_variable.cc \
- /usr/include/stdc-predef.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_variable.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstddef \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++config.h \
- /usr/include/bits/wordsize.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.h \
- /usr/include/features.h /usr/include/sys/cdefs.h \
- /usr/include/bits/long-double.h /usr/include/gnu/stubs.h \
- /usr/include/gnu/stubs-64.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cpu_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/functional \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_function.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/move.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/binders.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/new \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/exception \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_init_exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/typeinfo \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hash_bytes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/nested_exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/tuple \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/utility \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_relops.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_pair.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/initializer_list \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/array \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functexcept.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algobase.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cpp_type_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/type_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/numeric_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_types.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_funcs.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/concept_check.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/assertions.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ptr_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/debug.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/predefined_ops.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_access.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/iterator_concepts.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/concepts \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_cmp.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/int_limits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uses_allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/invoke.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functional_hash.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/refwrap.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_function.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/memory \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/new_allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/memoryfwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_construct.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_uninitialized.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/alloc_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/alloc_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tempbuf.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_raw_storage_iter.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ranges_uninitialized.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iosfwd \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stringfwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/postypes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwchar \
- /usr/include/wchar.h /usr/include/bits/libc-header-start.h \
- /usr/include/bits/floatn.h /usr/include/bits/floatn-common.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stdarg.h \
- /usr/include/bits/wchar.h /usr/include/bits/types/wint_t.h \
- /usr/include/bits/types/mbstate_t.h \
- /usr/include/bits/types/__mbstate_t.h /usr/include/bits/types/__FILE.h \
- /usr/include/bits/types/FILE.h /usr/include/bits/types/locale_t.h \
- /usr/include/bits/types/__locale_t.h /usr/include/bits/wchar2.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/atomicity.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr-default.h \
- /usr/include/pthread.h /usr/include/sched.h /usr/include/bits/types.h \
- /usr/include/bits/timesize.h /usr/include/bits/typesizes.h \
- /usr/include/bits/time64.h /usr/include/bits/types/time_t.h \
- /usr/include/bits/types/struct_timespec.h /usr/include/bits/endian.h \
- /usr/include/bits/endianness.h /usr/include/bits/sched.h \
- /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.h \
- /usr/include/time.h /usr/include/bits/time.h /usr/include/bits/timex.h \
- /usr/include/bits/types/struct_timeval.h \
- /usr/include/bits/types/clock_t.h /usr/include/bits/types/struct_tm.h \
- /usr/include/bits/types/clockid_t.h /usr/include/bits/types/timer_t.h \
- /usr/include/bits/types/struct_itimerspec.h \
- /usr/include/bits/pthreadtypes.h /usr/include/bits/thread-shared-types.h \
- /usr/include/bits/pthreadtypes-arch.h /usr/include/bits/struct_mutex.h \
- /usr/include/bits/struct_rwlock.h /usr/include/bits/setjmp.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/atomic_word.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/concurrence.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unique_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocated_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/aligned_buffer.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_atomic.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stdint.h \
- /usr/include/stdint.h /usr/include/bits/stdint-intn.h \
- /usr/include/bits/stdint-uintn.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_lockfree_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ostream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ios \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/char_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/localefwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++locale.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/clocale \
- /usr/include/locale.h /usr/include/bits/locale.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cctype \
- /usr/include/ctype.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ios_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream_insert.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_forced.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/string_conversions.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdlib \
- /usr/include/stdlib.h /usr/include/bits/waitflags.h \
- /usr/include/bits/waitstatus.h /usr/include/sys/types.h \
- /usr/include/endian.h /usr/include/bits/byteswap.h \
- /usr/include/bits/uintn-identity.h /usr/include/sys/select.h \
- /usr/include/bits/select.h /usr/include/bits/types/sigset_t.h \
- /usr/include/bits/types/__sigset_t.h /usr/include/bits/select2.h \
- /usr/include/alloca.h /usr/include/bits/stdlib-bsearch.h \
- /usr/include/bits/stdlib-float.h /usr/include/bits/stdlib.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_abs.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdio \
- /usr/include/stdio.h /usr/include/bits/types/__fpos_t.h \
- /usr/include/bits/types/__fpos64_t.h \
- /usr/include/bits/types/struct_FILE.h \
- /usr/include/bits/types/cookie_io_functions_t.h \
- /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h \
- /usr/include/bits/stdio.h /usr/include/bits/stdio2.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cerrno \
- /usr/include/errno.h /usr/include/bits/errno.h \
- /usr/include/linux/errno.h /usr/include/asm/errno.h \
- /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \
- /usr/include/bits/types/error_t.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/charconv.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/system_error \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/error_constants.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdexcept \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/streambuf \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwctype \
- /usr/include/wctype.h /usr/include/bits/wctype-wchar.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf_iterator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_inline.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream.tcc \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/hash.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iostream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/istream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/istream.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/map \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tree.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_map.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_multimap.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/erase_if.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/set \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_set.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_multiset.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/vector \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_vector.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_bvector.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/vector.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/atomic \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cassert \
- /usr/include/assert.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/sstream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/sstream.tcc \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/never_destroyed.h
diff --git a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_variable.pic.o b/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_variable.pic.o
deleted file mode 100755
index 71808beb..00000000
Binary files a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_variable.pic.o and /dev/null differ
diff --git a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_variables.pic.d b/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_variables.pic.d
deleted file mode 100755
index 20a8a4f0..00000000
--- a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_variables.pic.d
+++ /dev/null
@@ -1,198 +0,0 @@
-bazel-out/k8-opt/bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_variables.pic.o: \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_variables.cc \
- /usr/include/stdc-predef.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_variables.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstddef \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++config.h \
- /usr/include/bits/wordsize.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.h \
- /usr/include/features.h /usr/include/sys/cdefs.h \
- /usr/include/bits/long-double.h /usr/include/gnu/stubs.h \
- /usr/include/gnu/stubs-64.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cpu_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/functional \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_function.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/move.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/binders.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/new \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/exception \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_init_exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/typeinfo \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hash_bytes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/nested_exception.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/tuple \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/utility \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_relops.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_pair.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/initializer_list \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/array \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functexcept.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algobase.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cpp_type_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/type_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/numeric_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_types.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_funcs.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/concept_check.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/assertions.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ptr_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/debug.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/predefined_ops.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_access.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/iterator_concepts.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/concepts \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_cmp.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/int_limits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uses_allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/invoke.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functional_hash.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/refwrap.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_function.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ostream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ios \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iosfwd \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stringfwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/memoryfwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/postypes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwchar \
- /usr/include/wchar.h /usr/include/bits/libc-header-start.h \
- /usr/include/bits/floatn.h /usr/include/bits/floatn-common.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stdarg.h \
- /usr/include/bits/wchar.h /usr/include/bits/types/wint_t.h \
- /usr/include/bits/types/mbstate_t.h \
- /usr/include/bits/types/__mbstate_t.h /usr/include/bits/types/__FILE.h \
- /usr/include/bits/types/FILE.h /usr/include/bits/types/locale_t.h \
- /usr/include/bits/types/__locale_t.h /usr/include/bits/wchar2.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/char_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \
- /usr/lib/gcc/x86_64-redhat-linux/10/include/stdint.h \
- /usr/include/stdint.h /usr/include/bits/types.h \
- /usr/include/bits/timesize.h /usr/include/bits/typesizes.h \
- /usr/include/bits/time64.h /usr/include/bits/stdint-intn.h \
- /usr/include/bits/stdint-uintn.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/localefwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++locale.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/clocale \
- /usr/include/locale.h /usr/include/bits/locale.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cctype \
- /usr/include/ctype.h /usr/include/bits/endian.h \
- /usr/include/bits/endianness.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ios_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/atomicity.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr-default.h \
- /usr/include/pthread.h /usr/include/sched.h \
- /usr/include/bits/types/time_t.h \
- /usr/include/bits/types/struct_timespec.h /usr/include/bits/sched.h \
- /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.h \
- /usr/include/time.h /usr/include/bits/time.h /usr/include/bits/timex.h \
- /usr/include/bits/types/struct_timeval.h \
- /usr/include/bits/types/clock_t.h /usr/include/bits/types/struct_tm.h \
- /usr/include/bits/types/clockid_t.h /usr/include/bits/types/timer_t.h \
- /usr/include/bits/types/struct_itimerspec.h \
- /usr/include/bits/pthreadtypes.h /usr/include/bits/thread-shared-types.h \
- /usr/include/bits/pthreadtypes-arch.h /usr/include/bits/struct_mutex.h \
- /usr/include/bits/struct_rwlock.h /usr/include/bits/setjmp.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/atomic_word.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/new_allocator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream_insert.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_forced.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/alloc_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/alloc_traits.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_construct.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/string_conversions.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdlib \
- /usr/include/stdlib.h /usr/include/bits/waitflags.h \
- /usr/include/bits/waitstatus.h /usr/include/sys/types.h \
- /usr/include/endian.h /usr/include/bits/byteswap.h \
- /usr/include/bits/uintn-identity.h /usr/include/sys/select.h \
- /usr/include/bits/select.h /usr/include/bits/types/sigset_t.h \
- /usr/include/bits/types/__sigset_t.h /usr/include/bits/select2.h \
- /usr/include/alloca.h /usr/include/bits/stdlib-bsearch.h \
- /usr/include/bits/stdlib-float.h /usr/include/bits/stdlib.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_abs.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdio \
- /usr/include/stdio.h /usr/include/bits/types/__fpos_t.h \
- /usr/include/bits/types/__fpos64_t.h \
- /usr/include/bits/types/struct_FILE.h \
- /usr/include/bits/types/cookie_io_functions_t.h \
- /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h \
- /usr/include/bits/stdio.h /usr/include/bits/stdio2.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cerrno \
- /usr/include/errno.h /usr/include/bits/errno.h \
- /usr/include/linux/errno.h /usr/include/asm/errno.h \
- /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \
- /usr/include/bits/types/error_t.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/charconv.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/system_error \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/error_constants.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdexcept \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/streambuf \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwctype \
- /usr/include/wctype.h /usr/include/bits/wctype-wchar.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf_iterator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_inline.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/set \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tree.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/aligned_buffer.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_set.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_multiset.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/erase_if.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_variable.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/memory \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_uninitialized.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tempbuf.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_raw_storage_iter.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ranges_uninitialized.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/concurrence.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unique_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocated_ptr.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_atomic.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_base.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_lockfree_defines.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h \
- third_party/com_github_robotlocomotion_drake/dreal/symbolic/hash.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iostream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/istream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/istream.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/map \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_map.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_multimap.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/vector \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_vector.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_bvector.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/vector.tcc \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/algorithm \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algo.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/algorithmfwd.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_heap.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uniform_int_dist.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iterator \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stream_iterator.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/numeric \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_numeric.h \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/sstream \
- /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/sstream.tcc
diff --git a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_variables.pic.o b/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_variables.pic.o
deleted file mode 100755
index 72808ab9..00000000
Binary files a/Solvers/dreal4/bazel-bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_variables.pic.o and /dev/null differ
-- 
cgit v1.2.3-54-g00ecf