36 files changed, 2909 insertions, 0 deletions

diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/civil_time.pic.d b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/civil_time.pic.d
new file mode 100755
index 00000000..750f28db
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/civil_time.pic.d
@@ -0,0 +1,204 @@
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/_objs/time/civil_time.pic.o: \
+ external/com_google_absl/absl/time/civil_time.cc \
+ /usr/include/stdc-predef.h \
+ external/com_google_absl/absl/time/civil_time.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \
+ /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/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/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_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/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/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/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/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/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 \
+ external/com_google_absl/absl/strings/string_view.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/bits/stl_relops.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/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/cassert \
+ /usr/include/assert.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstddef \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstring \
+ /usr/include/string.h /usr/include/strings.h \
+ /usr/include/bits/strings_fortified.h \
+ /usr/include/bits/string_fortified.h \
+ /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/bits/streambuf_iterator.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/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/stdexcept \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf.tcc \
+ external/com_google_absl/absl/base/config.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/limits.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/syslimits.h \
+ /usr/include/limits.h /usr/include/bits/posix1_lim.h \
+ /usr/include/bits/local_lim.h /usr/include/linux/limits.h \
+ /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h \
+ /usr/include/bits/uio_lim.h external/com_google_absl/absl/base/options.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ciso646 \
+ external/com_google_absl/absl/base/policy_checks.h \
+ external/com_google_absl/absl/base/internal/throw_delegate.h \
+ external/com_google_absl/absl/base/macros.h \
+ external/com_google_absl/absl/base/attributes.h \
+ external/com_google_absl/absl/base/optimization.h \
+ external/com_google_absl/absl/base/port.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time_detail.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/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/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 \
+ external/com_google_absl/absl/strings/str_cat.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/array \
+ /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 \
+ external/com_google_absl/absl/strings/numbers.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ctime \
+ external/com_google_absl/absl/base/internal/bits.h \
+ external/com_google_absl/absl/numeric/int128.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 \
+ external/com_google_absl/absl/numeric/int128_have_intrinsic.inc \
+ external/com_google_absl/absl/time/time.h /usr/include/sys/time.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/chrono \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ratio \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/parse_numbers.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/time_zone.h
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/civil_time.pic.o b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/civil_time.pic.o
new file mode 100755
index 00000000..2ec9a111
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/civil_time.pic.o
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/clock.pic.d b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/clock.pic.d
new file mode 100755
index 00000000..237a1347
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/clock.pic.d
@@ -0,0 +1,211 @@
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/_objs/time/clock.pic.o: \
+ external/com_google_absl/absl/time/clock.cc /usr/include/stdc-predef.h \
+ external/com_google_absl/absl/time/clock.h \
+ external/com_google_absl/absl/base/macros.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/cstddef \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \
+ external/com_google_absl/absl/base/attributes.h \
+ external/com_google_absl/absl/base/config.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/limits.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/syslimits.h \
+ /usr/include/limits.h /usr/include/bits/libc-header-start.h \
+ /usr/include/bits/posix1_lim.h /usr/include/bits/local_lim.h \
+ /usr/include/linux/limits.h /usr/include/bits/posix2_lim.h \
+ /usr/include/bits/xopen_lim.h /usr/include/bits/uio_lim.h \
+ external/com_google_absl/absl/base/options.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ciso646 \
+ external/com_google_absl/absl/base/policy_checks.h \
+ external/com_google_absl/absl/base/optimization.h \
+ external/com_google_absl/absl/base/port.h \
+ external/com_google_absl/absl/time/time.h /usr/include/sys/time.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_timeval.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_timespec.h /usr/include/bits/endian.h \
+ /usr/include/bits/endianness.h /usr/include/bits/select2.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/chrono \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ratio \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \
+ /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/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/limits \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ctime \
+ /usr/include/time.h /usr/include/bits/time.h /usr/include/bits/timex.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/types/locale_t.h /usr/include/bits/types/__locale_t.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/parse_numbers.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/cmath \
+ /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/include/math.h /usr/include/bits/math-vector.h \
+ /usr/include/bits/libm-simd-decl-stubs.h /usr/include/bits/floatn.h \
+ /usr/include/bits/floatn-common.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/bits/std_abs.h \
+ /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/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/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/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/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/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/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/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/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/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/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/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/utility \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_relops.h \
+ external/com_google_absl/absl/strings/string_view.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/cstring \
+ /usr/include/string.h /usr/include/strings.h \
+ /usr/include/bits/strings_fortified.h \
+ /usr/include/bits/string_fortified.h \
+ /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 \
+ external/com_google_absl/absl/base/internal/throw_delegate.h \
+ external/com_google_absl/absl/time/civil_time.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time_detail.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/time_zone.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/bits/atomic_lockfree_defines.h \
+ external/com_google_absl/absl/base/internal/spinlock.h \
+ external/com_google_absl/absl/base/const_init.h \
+ external/com_google_absl/absl/base/dynamic_annotations.h \
+ external/com_google_absl/absl/base/internal/dynamic_annotations.h \
+ external/com_google_absl/absl/base/internal/low_level_scheduling.h \
+ external/com_google_absl/absl/base/internal/raw_logging.h \
+ external/com_google_absl/absl/base/internal/atomic_hook.h \
+ external/com_google_absl/absl/base/log_severity.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/array \
+ external/com_google_absl/absl/base/internal/scheduling_mode.h \
+ external/com_google_absl/absl/base/internal/tsan_mutex_interface.h \
+ external/com_google_absl/absl/base/thread_annotations.h \
+ external/com_google_absl/absl/base/internal/thread_annotations.h \
+ external/com_google_absl/absl/base/internal/unscaledcycleclock.h \
+ external/com_google_absl/absl/time/internal/get_current_time_posix.inc
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/clock.pic.o b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/clock.pic.o
new file mode 100755
index 00000000..1d46a2ff
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/clock.pic.o
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/duration.pic.d b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/duration.pic.d
new file mode 100755
index 00000000..902436c9
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/duration.pic.d
@@ -0,0 +1,224 @@
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/_objs/time/duration.pic.o: \
+ external/com_google_absl/absl/time/duration.cc \
+ /usr/include/stdc-predef.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/cassert \
+ /usr/include/assert.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/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/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/cstdint \
+ /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/cstring \
+ /usr/include/string.h /usr/include/strings.h \
+ /usr/include/bits/strings_fortified.h \
+ /usr/include/bits/string_fortified.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ctime \
+ /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/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/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/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/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/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/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/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/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/bits/charconv.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.tcc \
+ external/com_google_absl/absl/base/casts.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/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/c++/10/bits/atomic_lockfree_defines.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h \
+ external/com_google_absl/absl/base/internal/identity.h \
+ external/com_google_absl/absl/base/config.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/limits.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/syslimits.h \
+ /usr/include/limits.h /usr/include/bits/posix1_lim.h \
+ /usr/include/bits/local_lim.h /usr/include/linux/limits.h \
+ /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h \
+ /usr/include/bits/uio_lim.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstddef \
+ external/com_google_absl/absl/base/options.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ciso646 \
+ external/com_google_absl/absl/base/policy_checks.h \
+ external/com_google_absl/absl/base/macros.h \
+ external/com_google_absl/absl/base/attributes.h \
+ external/com_google_absl/absl/base/optimization.h \
+ external/com_google_absl/absl/base/port.h \
+ external/com_google_absl/absl/meta/type_traits.h \
+ external/com_google_absl/absl/numeric/int128.h \
+ external/com_google_absl/absl/numeric/int128_have_intrinsic.inc \
+ external/com_google_absl/absl/strings/string_view.h \
+ /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/bits/streambuf_iterator.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/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/stdexcept \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf.tcc \
+ external/com_google_absl/absl/base/internal/throw_delegate.h \
+ external/com_google_absl/absl/strings/strip.h \
+ external/com_google_absl/absl/strings/ascii.h \
+ external/com_google_absl/absl/strings/match.h \
+ external/com_google_absl/absl/time/time.h /usr/include/sys/time.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/chrono \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ratio \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/parse_numbers.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/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/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 \
+ external/com_google_absl/absl/time/civil_time.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time_detail.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/time_zone.h
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/duration.pic.o b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/duration.pic.o
new file mode 100755
index 00000000..2887eb58
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/duration.pic.o
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/format.pic.d b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/format.pic.d
new file mode 100755
index 00000000..d2dce6b2
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/format.pic.d
@@ -0,0 +1,191 @@
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/_objs/time/format.pic.o: \
+ external/com_google_absl/absl/time/format.cc /usr/include/stdc-predef.h \
+ /usr/include/string.h /usr/include/bits/libc-header-start.h \
+ /usr/include/features.h /usr/include/sys/cdefs.h \
+ /usr/include/bits/wordsize.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/stddef.h \
+ /usr/include/bits/types/locale_t.h /usr/include/bits/types/__locale_t.h \
+ /usr/include/strings.h /usr/include/bits/strings_fortified.h \
+ /usr/include/bits/string_fortified.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cctype \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++config.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cpu_defines.h \
+ /usr/include/ctype.h /usr/include/bits/types.h \
+ /usr/include/bits/timesize.h /usr/include/bits/typesizes.h \
+ /usr/include/bits/time64.h /usr/include/bits/endian.h \
+ /usr/include/bits/endianness.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/wchar.h \
+ /usr/include/bits/stdint-intn.h /usr/include/bits/stdint-uintn.h \
+ external/com_google_absl/absl/strings/match.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstring \
+ external/com_google_absl/absl/strings/string_view.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/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/waitflags.h \
+ /usr/include/bits/waitstatus.h /usr/include/bits/floatn.h \
+ /usr/include/bits/floatn-common.h /usr/include/sys/types.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/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/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/cassert \
+ /usr/include/assert.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstddef \
+ /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/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/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/bits/streambuf_iterator.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/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/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/char_traits.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/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/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/bits/streambuf.tcc \
+ external/com_google_absl/absl/base/config.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/limits.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/syslimits.h \
+ /usr/include/limits.h /usr/include/bits/posix1_lim.h \
+ /usr/include/bits/local_lim.h /usr/include/linux/limits.h \
+ /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h \
+ /usr/include/bits/uio_lim.h external/com_google_absl/absl/base/options.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ciso646 \
+ external/com_google_absl/absl/base/policy_checks.h \
+ external/com_google_absl/absl/base/internal/throw_delegate.h \
+ external/com_google_absl/absl/base/macros.h \
+ external/com_google_absl/absl/base/attributes.h \
+ external/com_google_absl/absl/base/optimization.h \
+ external/com_google_absl/absl/base/port.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/time_zone.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/chrono \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ratio \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ctime \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/parse_numbers.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time_detail.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/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/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 \
+ external/com_google_absl/absl/time/time.h /usr/include/sys/time.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 \
+ external/com_google_absl/absl/time/civil_time.h
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/format.pic.o b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/format.pic.o
new file mode 100755
index 00000000..827c8876
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/format.pic.o
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/time.pic.d b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/time.pic.d
new file mode 100755
index 00000000..29346a76
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/time.pic.d
@@ -0,0 +1,191 @@
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/_objs/time/time.pic.o: \
+ external/com_google_absl/absl/time/time.cc /usr/include/stdc-predef.h \
+ external/com_google_absl/absl/time/time.h /usr/include/sys/time.h \
+ /usr/include/features.h /usr/include/sys/cdefs.h \
+ /usr/include/bits/wordsize.h /usr/include/bits/long-double.h \
+ /usr/include/gnu/stubs.h /usr/include/gnu/stubs-64.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_timeval.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_timespec.h /usr/include/bits/endian.h \
+ /usr/include/bits/endianness.h /usr/include/bits/select2.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/chrono \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ratio \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++config.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.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/cstdint \
+ /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/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/limits \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ctime \
+ /usr/include/time.h /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \
+ /usr/include/bits/time.h /usr/include/bits/timex.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/types/locale_t.h /usr/include/bits/types/__locale_t.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/parse_numbers.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/cmath \
+ /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/include/math.h /usr/include/bits/math-vector.h \
+ /usr/include/bits/libm-simd-decl-stubs.h /usr/include/bits/floatn.h \
+ /usr/include/bits/floatn-common.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/bits/std_abs.h \
+ /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/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/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/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/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/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/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/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/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/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/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/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/utility \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_relops.h \
+ external/com_google_absl/absl/base/macros.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/cstddef \
+ external/com_google_absl/absl/base/attributes.h \
+ external/com_google_absl/absl/base/config.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/limits.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/syslimits.h \
+ /usr/include/limits.h /usr/include/bits/posix1_lim.h \
+ /usr/include/bits/local_lim.h /usr/include/linux/limits.h \
+ /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h \
+ /usr/include/bits/uio_lim.h external/com_google_absl/absl/base/options.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ciso646 \
+ external/com_google_absl/absl/base/policy_checks.h \
+ external/com_google_absl/absl/base/optimization.h \
+ external/com_google_absl/absl/base/port.h \
+ external/com_google_absl/absl/strings/string_view.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/cstring \
+ /usr/include/string.h /usr/include/strings.h \
+ /usr/include/bits/strings_fortified.h \
+ /usr/include/bits/string_fortified.h \
+ /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 \
+ external/com_google_absl/absl/base/internal/throw_delegate.h \
+ external/com_google_absl/absl/time/civil_time.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time_detail.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/time_zone.h
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/time.pic.o b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/time.pic.o
new file mode 100755
index 00000000..fc869cef
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/_objs/time/time.pic.o
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/civil_time/civil_time_detail.pic.d b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/civil_time/civil_time_detail.pic.d
new file mode 100755
index 00000000..079d2c18
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/civil_time/civil_time_detail.pic.d
@@ -0,0 +1,178 @@
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/internal/cctz/_objs/civil_time/civil_time_detail.pic.o: \
+ external/com_google_absl/absl/time/internal/cctz/src/civil_time_detail.cc \
+ /usr/include/stdc-predef.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time_detail.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \
+ /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/limits \
+ /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/stddef.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/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/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/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/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 \
+ external/com_google_absl/absl/base/config.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/limits.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/syslimits.h \
+ /usr/include/limits.h /usr/include/bits/posix1_lim.h \
+ /usr/include/bits/local_lim.h /usr/include/linux/limits.h \
+ /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h \
+ /usr/include/bits/uio_lim.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstddef \
+ external/com_google_absl/absl/base/options.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ciso646 \
+ external/com_google_absl/absl/base/policy_checks.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/unique_ptr.h \
+ /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/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/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/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/bits/sstream.tcc
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/civil_time/civil_time_detail.pic.o b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/civil_time/civil_time_detail.pic.o
new file mode 100755
index 00000000..e3c8bdac
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/civil_time/civil_time_detail.pic.o
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_fixed.pic.d b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_fixed.pic.d
new file mode 100755
index 00000000..1b0235a5
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_fixed.pic.d
@@ -0,0 +1,177 @@
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_fixed.pic.o: \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_fixed.cc \
+ /usr/include/stdc-predef.h \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_fixed.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \
+ /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/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/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_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/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/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/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/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/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 \
+ external/com_google_absl/absl/base/config.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/limits.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/syslimits.h \
+ /usr/include/limits.h /usr/include/bits/posix1_lim.h \
+ /usr/include/bits/local_lim.h /usr/include/linux/limits.h \
+ /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h \
+ /usr/include/bits/uio_lim.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstddef \
+ external/com_google_absl/absl/base/options.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ciso646 \
+ external/com_google_absl/absl/base/policy_checks.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/time_zone.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/chrono \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ratio \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ctime \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/parse_numbers.h \
+ /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 \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time_detail.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/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/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/cassert \
+ /usr/include/assert.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstring \
+ /usr/include/string.h /usr/include/strings.h \
+ /usr/include/bits/strings_fortified.h \
+ /usr/include/bits/string_fortified.h
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_fixed.pic.o b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_fixed.pic.o
new file mode 100755
index 00000000..751f94e5
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_fixed.pic.o
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_format.pic.d b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_format.pic.d
new file mode 100755
index 00000000..b59affbb
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_format.pic.d
@@ -0,0 +1,190 @@
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_format.pic.o: \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_format.cc \
+ /usr/include/stdc-predef.h external/com_google_absl/absl/base/config.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/limits.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/syslimits.h \
+ /usr/include/limits.h /usr/include/bits/libc-header-start.h \
+ /usr/include/features.h /usr/include/sys/cdefs.h \
+ /usr/include/bits/wordsize.h /usr/include/bits/long-double.h \
+ /usr/include/gnu/stubs.h /usr/include/gnu/stubs-64.h \
+ /usr/include/bits/posix1_lim.h /usr/include/bits/local_lim.h \
+ /usr/include/linux/limits.h /usr/include/bits/posix2_lim.h \
+ /usr/include/bits/xopen_lim.h /usr/include/bits/uio_lim.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/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.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 \
+ external/com_google_absl/absl/base/options.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ciso646 \
+ external/com_google_absl/absl/base/policy_checks.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/time_zone.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/chrono \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ratio \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \
+ /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/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/limits \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ctime \
+ /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/time_t.h \
+ /usr/include/bits/types/struct_tm.h \
+ /usr/include/bits/types/struct_timespec.h /usr/include/bits/endian.h \
+ /usr/include/bits/endianness.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/types/locale_t.h /usr/include/bits/types/__locale_t.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/parse_numbers.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/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/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_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/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/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/wchar2.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/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/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/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/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/sched.h \
+ /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.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 \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time_detail.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/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/cstring \
+ /usr/include/string.h /usr/include/strings.h \
+ /usr/include/bits/strings_fortified.h \
+ /usr/include/bits/string_fortified.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 \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_if.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/uses_allocator.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/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/invoke.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/refwrap.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/c++/10/bits/atomic_lockfree_defines.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_format.pic.o b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_format.pic.o
new file mode 100755
index 00000000..81164153
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_format.pic.o
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_if.pic.d b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_if.pic.d
new file mode 100755
index 00000000..3d93cff0
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_if.pic.d
@@ -0,0 +1,196 @@
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_if.pic.o: \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_if.cc \
+ /usr/include/stdc-predef.h \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_if.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/chrono \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ratio \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \
+ /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/cstdint \
+ /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/limits \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ctime \
+ /usr/include/time.h /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.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/time_t.h \
+ /usr/include/bits/types/struct_tm.h \
+ /usr/include/bits/types/struct_timespec.h /usr/include/bits/endian.h \
+ /usr/include/bits/endianness.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/types/locale_t.h /usr/include/bits/types/__locale_t.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/parse_numbers.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/memory \
+ /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_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/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/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/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/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/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/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/sched.h \
+ /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.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/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/uses_allocator.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/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/initializer_list \
+ /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/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/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/refwrap.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/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/string \
+ /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/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 \
+ external/com_google_absl/absl/base/config.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/limits.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/syslimits.h \
+ /usr/include/limits.h /usr/include/bits/posix1_lim.h \
+ /usr/include/bits/local_lim.h /usr/include/linux/limits.h \
+ /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h \
+ /usr/include/bits/uio_lim.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstddef \
+ external/com_google_absl/absl/base/options.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ciso646 \
+ external/com_google_absl/absl/base/policy_checks.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time_detail.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/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 \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/time_zone.h \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_info.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/atomic \
+ /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 \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/zone_info_source.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/std_function.h \
+ external/com_google_absl/absl/time/internal/cctz/src/tzfile.h \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_libc.h
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_if.pic.o b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_if.pic.o
new file mode 100755
index 00000000..0d38eda1
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_if.pic.o
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_impl.pic.d b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_impl.pic.d
new file mode 100755
index 00000000..280298d7
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_impl.pic.d
@@ -0,0 +1,207 @@
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_impl.pic.o: \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_impl.cc \
+ /usr/include/stdc-predef.h \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_impl.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_algobase.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/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_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/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/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/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/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/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/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/uses_allocator.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/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/initializer_list \
+ /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/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/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/refwrap.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/string \
+ /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/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 \
+ external/com_google_absl/absl/base/config.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/limits.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/syslimits.h \
+ /usr/include/limits.h /usr/include/bits/posix1_lim.h \
+ /usr/include/bits/local_lim.h /usr/include/linux/limits.h \
+ /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h \
+ /usr/include/bits/uio_lim.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstddef \
+ external/com_google_absl/absl/base/options.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ciso646 \
+ external/com_google_absl/absl/base/policy_checks.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time_detail.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits \
+ /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/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 \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/time_zone.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/chrono \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ratio \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ctime \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/parse_numbers.h \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_if.h \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_info.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/atomic \
+ /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 \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/zone_info_source.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/std_function.h \
+ external/com_google_absl/absl/time/internal/cctz/src/tzfile.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/deque \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_deque.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/deque.tcc \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/mutex \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_mutex.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unique_lock.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 \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/erase_if.h \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_fixed.h
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_impl.pic.o b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_impl.pic.o
new file mode 100755
index 00000000..97d47675
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_impl.pic.o
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_info.pic.d b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_info.pic.d
new file mode 100755
index 00000000..aead4fe7
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_info.pic.d
@@ -0,0 +1,211 @@
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_info.pic.o: \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_info.cc \
+ /usr/include/stdc-predef.h \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_info.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/cstddef \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \
+ /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/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_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/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/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/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/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/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 \
+ external/com_google_absl/absl/base/config.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/limits.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/syslimits.h \
+ /usr/include/limits.h /usr/include/bits/posix1_lim.h \
+ /usr/include/bits/local_lim.h /usr/include/linux/limits.h \
+ /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h \
+ /usr/include/bits/uio_lim.h external/com_google_absl/absl/base/options.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ciso646 \
+ external/com_google_absl/absl/base/policy_checks.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time_detail.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits \
+ /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/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 \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/time_zone.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/chrono \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ratio \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ctime \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/parse_numbers.h \
+ /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 \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/zone_info_source.h \
+ /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/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/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/backward/auto_ptr.h \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_if.h \
+ external/com_google_absl/absl/time/internal/cctz/src/tzfile.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/cstring \
+ /usr/include/string.h /usr/include/strings.h \
+ /usr/include/bits/strings_fortified.h \
+ /usr/include/bits/string_fortified.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/sstream \
+ /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/bits/sstream.tcc \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_fixed.h \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_posix.h
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_info.pic.o b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_info.pic.o
new file mode 100755
index 00000000..57c0ffeb
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_info.pic.o
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_libc.pic.d b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_libc.pic.d
new file mode 100755
index 00000000..b83cfd2d
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_libc.pic.d
@@ -0,0 +1,186 @@
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_libc.pic.o: \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_libc.cc \
+ /usr/include/stdc-predef.h \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_libc.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \
+ /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/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/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_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/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/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/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/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/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 \
+ external/com_google_absl/absl/base/config.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/limits.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/syslimits.h \
+ /usr/include/limits.h /usr/include/bits/posix1_lim.h \
+ /usr/include/bits/local_lim.h /usr/include/linux/limits.h \
+ /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h \
+ /usr/include/bits/uio_lim.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstddef \
+ external/com_google_absl/absl/base/options.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ciso646 \
+ external/com_google_absl/absl/base/policy_checks.h \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_if.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/chrono \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ratio \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ctime \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/parse_numbers.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/uses_allocator.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/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/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/invoke.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/refwrap.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/c++/10/bits/atomic_lockfree_defines.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time_detail.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/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 \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/time_zone.h
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_libc.pic.o b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_libc.pic.o
new file mode 100755
index 00000000..2801670d
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_libc.pic.o
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_lookup.pic.d b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_lookup.pic.d
new file mode 100755
index 00000000..b2b841b6
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_lookup.pic.d
@@ -0,0 +1,198 @@
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_lookup.pic.o: \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_lookup.cc \
+ /usr/include/stdc-predef.h external/com_google_absl/absl/base/config.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/limits.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/syslimits.h \
+ /usr/include/limits.h /usr/include/bits/libc-header-start.h \
+ /usr/include/features.h /usr/include/sys/cdefs.h \
+ /usr/include/bits/wordsize.h /usr/include/bits/long-double.h \
+ /usr/include/gnu/stubs.h /usr/include/gnu/stubs-64.h \
+ /usr/include/bits/posix1_lim.h /usr/include/bits/local_lim.h \
+ /usr/include/linux/limits.h /usr/include/bits/posix2_lim.h \
+ /usr/include/bits/xopen_lim.h /usr/include/bits/uio_lim.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/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.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 \
+ external/com_google_absl/absl/base/options.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ciso646 \
+ external/com_google_absl/absl/base/policy_checks.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/time_zone.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/chrono \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ratio \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \
+ /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/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/limits \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ctime \
+ /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/time_t.h \
+ /usr/include/bits/types/struct_tm.h \
+ /usr/include/bits/types/struct_timespec.h /usr/include/bits/endian.h \
+ /usr/include/bits/endianness.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/types/locale_t.h /usr/include/bits/types/__locale_t.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/parse_numbers.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/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/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_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/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/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/wchar2.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/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/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/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/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/sched.h \
+ /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.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 \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time_detail.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/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/cstring \
+ /usr/include/string.h /usr/include/strings.h \
+ /usr/include/bits/strings_fortified.h \
+ /usr/include/bits/string_fortified.h \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_fixed.h \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_impl.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/uses_allocator.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/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/invoke.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/refwrap.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/c++/10/bits/atomic_lockfree_defines.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_if.h \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_info.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/atomic \
+ /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 \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/zone_info_source.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/std_function.h \
+ external/com_google_absl/absl/time/internal/cctz/src/tzfile.h
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_lookup.pic.o b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_lookup.pic.o
new file mode 100755
index 00000000..b07b848e
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_lookup.pic.o
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_posix.pic.d b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_posix.pic.d
new file mode 100755
index 00000000..c1c419c0
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_posix.pic.d
@@ -0,0 +1,140 @@
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_posix.pic.o: \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_posix.cc \
+ /usr/include/stdc-predef.h \
+ external/com_google_absl/absl/time/internal/cctz/src/time_zone_posix.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \
+ /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/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/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_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/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/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/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/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/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/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 \
+ external/com_google_absl/absl/base/config.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/limits.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/syslimits.h \
+ /usr/include/limits.h /usr/include/bits/posix1_lim.h \
+ /usr/include/bits/local_lim.h /usr/include/linux/limits.h \
+ /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h \
+ /usr/include/bits/uio_lim.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstddef \
+ external/com_google_absl/absl/base/options.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ciso646 \
+ external/com_google_absl/absl/base/policy_checks.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstring \
+ /usr/include/string.h /usr/include/strings.h \
+ /usr/include/bits/strings_fortified.h \
+ /usr/include/bits/string_fortified.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_posix.pic.o b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_posix.pic.o
new file mode 100755
index 00000000..0febfb16
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_posix.pic.o
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/zone_info_source.pic.d b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/zone_info_source.pic.d
new file mode 100755
index 00000000..6859e1c5
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/zone_info_source.pic.d
@@ -0,0 +1,157 @@
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/zone_info_source.pic.o: \
+ external/com_google_absl/absl/time/internal/cctz/src/zone_info_source.cc \
+ /usr/include/stdc-predef.h \
+ external/com_google_absl/absl/time/internal/cctz/include/cctz/zone_info_source.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/string \
+ /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/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 \
+ external/com_google_absl/absl/base/config.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/limits.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/include/syslimits.h \
+ /usr/include/limits.h /usr/include/bits/posix1_lim.h \
+ /usr/include/bits/local_lim.h /usr/include/linux/limits.h \
+ /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h \
+ /usr/include/bits/uio_lim.h external/com_google_absl/absl/base/options.h \
+ /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ciso646 \
+ external/com_google_absl/absl/base/policy_checks.h
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/zone_info_source.pic.o b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/zone_info_source.pic.o
new file mode 100755
index 00000000..9f20a75b
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/zone_info_source.pic.o
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/libcivil_time.so b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/libcivil_time.so
new file mode 100755
index 00000000..9f50bf49
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/libcivil_time.so
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/libcivil_time.so-2.params b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/libcivil_time.so-2.params
new file mode 100755
index 00000000..2aea5d7b
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/libcivil_time.so-2.params
@@ -0,0 +1,12 @@
+-shared
+-o
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/internal/cctz/libcivil_time.so
+-fuse-ld=gold
+-Wl,-no-as-needed
+-Wl,-z,relro,-z,now
+-B/usr/bin
+-pass-exit-codes
+-lstdc++
+-lm
+-Wl,--gc-sections
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/internal/cctz/_objs/civil_time/civil_time_detail.pic.o
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/libtime_zone.so b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/libtime_zone.so
new file mode 100755
index 00000000..80a0a8b5
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/libtime_zone.so
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/libtime_zone.so-2.params b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/libtime_zone.so-2.params
new file mode 100755
index 00000000..fc784b66
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/internal/cctz/libtime_zone.so-2.params
@@ -0,0 +1,20 @@
+-shared
+-o
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/internal/cctz/libtime_zone.so
+-fuse-ld=gold
+-Wl,-no-as-needed
+-Wl,-z,relro,-z,now
+-B/usr/bin
+-pass-exit-codes
+-lstdc++
+-lm
+-Wl,--gc-sections
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_fixed.pic.o
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_format.pic.o
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_if.pic.o
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_impl.pic.o
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_info.pic.o
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_libc.pic.o
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_lookup.pic.o
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/time_zone_posix.pic.o
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/internal/cctz/_objs/time_zone/zone_info_source.pic.o
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/libtime.so b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/libtime.so
new file mode 100755
index 00000000..22897e06
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/libtime.so
diff --git a/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/libtime.so-2.params b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/libtime.so-2.params
new file mode 100755
index 00000000..8ccb184f
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_absl/absl/time/libtime.so-2.params
@@ -0,0 +1,16 @@
+-shared
+-o
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/libtime.so
+-fuse-ld=gold
+-Wl,-no-as-needed
+-Wl,-z,relro,-z,now
+-B/usr/bin
+-pass-exit-codes
+-lstdc++
+-lm
+-Wl,--gc-sections
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/_objs/time/civil_time.pic.o
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/_objs/time/clock.pic.o
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/_objs/time/duration.pic.o
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/_objs/time/format.pic.o
+bazel-out/k8-opt/bin/external/com_google_absl/absl/time/_objs/time/time.pic.o