libabac/prover_plus.o: libabac/prover_plus.cc /usr/include/stdc-predef.h \
 /usr/include/err.h /usr/include/features.h \
 /usr/include/x86_64-linux-gnu/sys/cdefs.h \
 /usr/include/x86_64-linux-gnu/bits/wordsize.h \
 /usr/include/x86_64-linux-gnu/gnu/stubs.h \
 /usr/include/x86_64-linux-gnu/gnu/stubs-64.h \
 /usr/lib/gcc/x86_64-linux-gnu/6/include/stdarg.h /usr/include/stdio.h \
 /usr/lib/gcc/x86_64-linux-gnu/6/include/stddef.h \
 /usr/include/x86_64-linux-gnu/bits/types.h \
 /usr/include/x86_64-linux-gnu/bits/typesizes.h /usr/include/libio.h \
 /usr/include/_G_config.h /usr/include/wchar.h \
 /usr/include/x86_64-linux-gnu/bits/stdio_lim.h \
 /usr/include/x86_64-linux-gnu/bits/sys_errlist.h \
 /usr/include/x86_64-linux-gnu/bits/stdio.h /usr/include/c++/6/vector \
 /usr/include/c++/6/bits/stl_algobase.h \
 /usr/include/x86_64-linux-gnu/c++/6/bits/c++config.h \
 /usr/include/x86_64-linux-gnu/c++/6/bits/os_defines.h \
 /usr/include/x86_64-linux-gnu/c++/6/bits/cpu_defines.h \
 /usr/include/c++/6/bits/functexcept.h \
 /usr/include/c++/6/bits/exception_defines.h \
 /usr/include/c++/6/bits/cpp_type_traits.h \
 /usr/include/c++/6/ext/type_traits.h \
 /usr/include/c++/6/ext/numeric_traits.h \
 /usr/include/c++/6/bits/stl_pair.h /usr/include/c++/6/bits/move.h \
 /usr/include/c++/6/bits/concept_check.h /usr/include/c++/6/type_traits \
 /usr/include/c++/6/bits/stl_iterator_base_types.h \
 /usr/include/c++/6/bits/stl_iterator_base_funcs.h \
 /usr/include/c++/6/debug/assertions.h \
 /usr/include/c++/6/bits/stl_iterator.h \
 /usr/include/c++/6/bits/ptr_traits.h /usr/include/c++/6/debug/debug.h \
 /usr/include/c++/6/bits/predefined_ops.h \
 /usr/include/c++/6/bits/allocator.h \
 /usr/include/x86_64-linux-gnu/c++/6/bits/c++allocator.h \
 /usr/include/c++/6/ext/new_allocator.h /usr/include/c++/6/new \
 /usr/include/c++/6/exception \
 /usr/include/c++/6/bits/atomic_lockfree_defines.h \
 /usr/include/c++/6/bits/exception_ptr.h \
 /usr/include/c++/6/bits/nested_exception.h \
 /usr/include/c++/6/bits/memoryfwd.h \
 /usr/include/c++/6/bits/stl_construct.h \
 /usr/include/c++/6/ext/alloc_traits.h \
 /usr/include/c++/6/bits/alloc_traits.h \
 /usr/include/c++/6/bits/stl_uninitialized.h \
 /usr/include/c++/6/bits/stl_vector.h /usr/include/c++/6/initializer_list \
 /usr/include/c++/6/bits/stl_bvector.h \
 /usr/include/c++/6/bits/functional_hash.h \
 /usr/include/c++/6/bits/hash_bytes.h \
 /usr/include/c++/6/bits/range_access.h \
 /usr/include/c++/6/bits/vector.tcc libabac/abac.hh \
 /usr/include/c++/6/cstdio /usr/include/c++/6/stdexcept \
 /usr/include/c++/6/string /usr/include/c++/6/bits/stringfwd.h \
 /usr/include/c++/6/bits/char_traits.h /usr/include/c++/6/bits/postypes.h \
 /usr/include/c++/6/cwchar /usr/include/x86_64-linux-gnu/bits/wchar.h \
 /usr/include/xlocale.h /usr/include/c++/6/cstdint \
 /usr/lib/gcc/x86_64-linux-gnu/6/include/stdint.h /usr/include/stdint.h \
 /usr/include/c++/6/bits/localefwd.h \
 /usr/include/x86_64-linux-gnu/c++/6/bits/c++locale.h \
 /usr/include/c++/6/clocale /usr/include/locale.h \
 /usr/include/x86_64-linux-gnu/bits/locale.h /usr/include/c++/6/iosfwd \
 /usr/include/c++/6/cctype /usr/include/ctype.h /usr/include/endian.h \
 /usr/include/x86_64-linux-gnu/bits/endian.h \
 /usr/include/x86_64-linux-gnu/bits/byteswap.h \
 /usr/include/x86_64-linux-gnu/bits/byteswap-16.h \
 /usr/include/c++/6/bits/ostream_insert.h \
 /usr/include/c++/6/bits/cxxabi_forced.h \
 /usr/include/c++/6/bits/stl_function.h \
 /usr/include/c++/6/backward/binders.h \
 /usr/include/c++/6/bits/basic_string.h \
 /usr/include/c++/6/ext/atomicity.h \
 /usr/include/x86_64-linux-gnu/c++/6/bits/gthr.h \
 /usr/include/x86_64-linux-gnu/c++/6/bits/gthr-default.h \
 /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \
 /usr/include/x86_64-linux-gnu/bits/sched.h \
 /usr/include/x86_64-linux-gnu/bits/time.h \
 /usr/include/x86_64-linux-gnu/bits/timex.h \
 /usr/include/x86_64-linux-gnu/bits/pthreadtypes.h \
 /usr/include/x86_64-linux-gnu/bits/setjmp.h \
 /usr/include/x86_64-linux-gnu/c++/6/bits/atomic_word.h \
 /usr/include/c++/6/ext/string_conversions.h /usr/include/c++/6/cstdlib \
 /usr/include/stdlib.h /usr/include/x86_64-linux-gnu/bits/waitflags.h \
 /usr/include/x86_64-linux-gnu/bits/waitstatus.h \
 /usr/include/x86_64-linux-gnu/sys/types.h \
 /usr/include/x86_64-linux-gnu/sys/select.h \
 /usr/include/x86_64-linux-gnu/bits/select.h \
 /usr/include/x86_64-linux-gnu/bits/sigset.h \
 /usr/include/x86_64-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \
 /usr/include/x86_64-linux-gnu/bits/stdlib-bsearch.h \
 /usr/include/x86_64-linux-gnu/bits/stdlib-float.h \
 /usr/include/c++/6/cerrno /usr/include/errno.h \
 /usr/include/x86_64-linux-gnu/bits/errno.h /usr/include/linux/errno.h \
 /usr/include/x86_64-linux-gnu/asm/errno.h \
 /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \
 /usr/include/c++/6/bits/basic_string.tcc libabac/abac.h \
 libabac/options.h

/usr/include/stdc-predef.h:

/usr/include/err.h:

/usr/include/features.h:

/usr/include/x86_64-linux-gnu/sys/cdefs.h:

/usr/include/x86_64-linux-gnu/bits/wordsize.h:

/usr/include/x86_64-linux-gnu/gnu/stubs.h:

/usr/include/x86_64-linux-gnu/gnu/stubs-64.h:

/usr/lib/gcc/x86_64-linux-gnu/6/include/stdarg.h:

/usr/include/stdio.h:

/usr/lib/gcc/x86_64-linux-gnu/6/include/stddef.h:

/usr/include/x86_64-linux-gnu/bits/types.h:

/usr/include/x86_64-linux-gnu/bits/typesizes.h:

/usr/include/libio.h:

/usr/include/_G_config.h:

/usr/include/wchar.h:

/usr/include/x86_64-linux-gnu/bits/stdio_lim.h:

/usr/include/x86_64-linux-gnu/bits/sys_errlist.h:

/usr/include/x86_64-linux-gnu/bits/stdio.h:

/usr/include/c++/6/vector:

/usr/include/c++/6/bits/stl_algobase.h:

/usr/include/x86_64-linux-gnu/c++/6/bits/c++config.h:

/usr/include/x86_64-linux-gnu/c++/6/bits/os_defines.h:

/usr/include/x86_64-linux-gnu/c++/6/bits/cpu_defines.h:

/usr/include/c++/6/bits/functexcept.h:

/usr/include/c++/6/bits/exception_defines.h:

/usr/include/c++/6/bits/cpp_type_traits.h:

/usr/include/c++/6/ext/type_traits.h:

/usr/include/c++/6/ext/numeric_traits.h:

/usr/include/c++/6/bits/stl_pair.h:

/usr/include/c++/6/bits/move.h:

/usr/include/c++/6/bits/concept_check.h:

/usr/include/c++/6/type_traits:

/usr/include/c++/6/bits/stl_iterator_base_types.h:

/usr/include/c++/6/bits/stl_iterator_base_funcs.h:

/usr/include/c++/6/debug/assertions.h:

/usr/include/c++/6/bits/stl_iterator.h:

/usr/include/c++/6/bits/ptr_traits.h:

/usr/include/c++/6/debug/debug.h:

/usr/include/c++/6/bits/predefined_ops.h:

/usr/include/c++/6/bits/allocator.h:

/usr/include/x86_64-linux-gnu/c++/6/bits/c++allocator.h:

/usr/include/c++/6/ext/new_allocator.h:

/usr/include/c++/6/new:

/usr/include/c++/6/exception:

/usr/include/c++/6/bits/atomic_lockfree_defines.h:

/usr/include/c++/6/bits/exception_ptr.h:

/usr/include/c++/6/bits/nested_exception.h:

/usr/include/c++/6/bits/memoryfwd.h:

/usr/include/c++/6/bits/stl_construct.h:

/usr/include/c++/6/ext/alloc_traits.h:

/usr/include/c++/6/bits/alloc_traits.h:

/usr/include/c++/6/bits/stl_uninitialized.h:

/usr/include/c++/6/bits/stl_vector.h:

/usr/include/c++/6/initializer_list:

/usr/include/c++/6/bits/stl_bvector.h:

/usr/include/c++/6/bits/functional_hash.h:

/usr/include/c++/6/bits/hash_bytes.h:

/usr/include/c++/6/bits/range_access.h:

/usr/include/c++/6/bits/vector.tcc:

libabac/abac.hh:

/usr/include/c++/6/cstdio:

/usr/include/c++/6/stdexcept:

/usr/include/c++/6/string:

/usr/include/c++/6/bits/stringfwd.h:

/usr/include/c++/6/bits/char_traits.h:

/usr/include/c++/6/bits/postypes.h:

/usr/include/c++/6/cwchar:

/usr/include/x86_64-linux-gnu/bits/wchar.h:

/usr/include/xlocale.h:

/usr/include/c++/6/cstdint:

/usr/lib/gcc/x86_64-linux-gnu/6/include/stdint.h:

/usr/include/stdint.h:

/usr/include/c++/6/bits/localefwd.h:

/usr/include/x86_64-linux-gnu/c++/6/bits/c++locale.h:

/usr/include/c++/6/clocale:

/usr/include/locale.h:

/usr/include/x86_64-linux-gnu/bits/locale.h:

/usr/include/c++/6/iosfwd:

/usr/include/c++/6/cctype:

/usr/include/ctype.h:

/usr/include/endian.h:

/usr/include/x86_64-linux-gnu/bits/endian.h:

/usr/include/x86_64-linux-gnu/bits/byteswap.h:

/usr/include/x86_64-linux-gnu/bits/byteswap-16.h:

/usr/include/c++/6/bits/ostream_insert.h:

/usr/include/c++/6/bits/cxxabi_forced.h:

/usr/include/c++/6/bits/stl_function.h:

/usr/include/c++/6/backward/binders.h:

/usr/include/c++/6/bits/basic_string.h:

/usr/include/c++/6/ext/atomicity.h:

/usr/include/x86_64-linux-gnu/c++/6/bits/gthr.h:

/usr/include/x86_64-linux-gnu/c++/6/bits/gthr-default.h:

/usr/include/pthread.h:

/usr/include/sched.h:

/usr/include/time.h:

/usr/include/x86_64-linux-gnu/bits/sched.h:

/usr/include/x86_64-linux-gnu/bits/time.h:

/usr/include/x86_64-linux-gnu/bits/timex.h:

/usr/include/x86_64-linux-gnu/bits/pthreadtypes.h:

/usr/include/x86_64-linux-gnu/bits/setjmp.h:

/usr/include/x86_64-linux-gnu/c++/6/bits/atomic_word.h:

/usr/include/c++/6/ext/string_conversions.h:

/usr/include/c++/6/cstdlib:

/usr/include/stdlib.h:

/usr/include/x86_64-linux-gnu/bits/waitflags.h:

/usr/include/x86_64-linux-gnu/bits/waitstatus.h:

/usr/include/x86_64-linux-gnu/sys/types.h:

/usr/include/x86_64-linux-gnu/sys/select.h:

/usr/include/x86_64-linux-gnu/bits/select.h:

/usr/include/x86_64-linux-gnu/bits/sigset.h:

/usr/include/x86_64-linux-gnu/sys/sysmacros.h:

/usr/include/alloca.h:

/usr/include/x86_64-linux-gnu/bits/stdlib-bsearch.h:

/usr/include/x86_64-linux-gnu/bits/stdlib-float.h:

/usr/include/c++/6/cerrno:

/usr/include/errno.h:

/usr/include/x86_64-linux-gnu/bits/errno.h:

/usr/include/linux/errno.h:

/usr/include/x86_64-linux-gnu/asm/errno.h:

/usr/include/asm-generic/errno.h:

/usr/include/asm-generic/errno-base.h:

/usr/include/c++/6/bits/basic_string.tcc:

libabac/abac.h:

libabac/options.h: