%FILES%
usr/
usr/lib/
usr/lib/debug/
usr/lib/debug/.build-id/
usr/lib/debug/.build-id/3c/
usr/lib/debug/.build-id/3c/b372516cfb0b28ea751d993b2bf4b41fe69220
usr/lib/debug/.build-id/3c/b372516cfb0b28ea751d993b2bf4b41fe69220.debug
usr/lib/debug/.build-id/79/
usr/lib/debug/.build-id/79/bf89c4b85f9a2ab9d41bbbf0e8b6ea004d08c0
usr/lib/debug/.build-id/79/bf89c4b85f9a2ab9d41bbbf0e8b6ea004d08c0.debug
usr/lib/debug/usr/
usr/lib/debug/usr/lib/
usr/lib/debug/usr/lib/libpoly.so.0.2.0.debug
usr/lib/debug/usr/lib/libpolyxx.so.0.2.0.debug
usr/src/
usr/src/debug/
usr/src/debug/libpoly/
usr/src/debug/libpoly/libpoly-0.2.0/
usr/src/debug/libpoly/libpoly-0.2.0/include/
usr/src/debug/libpoly/libpoly-0.2.0/include/algebraic_number.h
usr/src/debug/libpoly/libpoly-0.2.0/include/assignment.h
usr/src/debug/libpoly/libpoly-0.2.0/include/dyadic_interval.h
usr/src/debug/libpoly/libpoly-0.2.0/include/dyadic_rational.h
usr/src/debug/libpoly/libpoly-0.2.0/include/feasibility_set.h
usr/src/debug/libpoly/libpoly-0.2.0/include/feasibility_set_int.h
usr/src/debug/libpoly/libpoly-0.2.0/include/integer.h
usr/src/debug/libpoly/libpoly-0.2.0/include/interval.h
usr/src/debug/libpoly/libpoly-0.2.0/include/monomial.h
usr/src/debug/libpoly/libpoly-0.2.0/include/output_language.h
usr/src/debug/libpoly/libpoly-0.2.0/include/poly.h
usr/src/debug/libpoly/libpoly-0.2.0/include/polynomial.h
usr/src/debug/libpoly/libpoly-0.2.0/include/polynomial_context.h
usr/src/debug/libpoly/libpoly-0.2.0/include/polynomial_hash_set.h
usr/src/debug/libpoly/libpoly-0.2.0/include/polynomial_heap.h
usr/src/debug/libpoly/libpoly-0.2.0/include/polynomial_vector.h
usr/src/debug/libpoly/libpoly-0.2.0/include/polyxx/
usr/src/debug/libpoly/libpoly-0.2.0/include/polyxx/algebraic_number.h
usr/src/debug/libpoly/libpoly-0.2.0/include/polyxx/assignment.h
usr/src/debug/libpoly/libpoly-0.2.0/include/polyxx/context.h
usr/src/debug/libpoly/libpoly-0.2.0/include/polyxx/dyadic_interval.h
usr/src/debug/libpoly/libpoly-0.2.0/include/polyxx/dyadic_rational.h
usr/src/debug/libpoly/libpoly-0.2.0/include/polyxx/integer.h
usr/src/debug/libpoly/libpoly-0.2.0/include/polyxx/integer_ring.h
usr/src/debug/libpoly/libpoly-0.2.0/include/polyxx/interval.h
usr/src/debug/libpoly/libpoly-0.2.0/include/polyxx/interval_assignment.h
usr/src/debug/libpoly/libpoly-0.2.0/include/polyxx/polynomial.h
usr/src/debug/libpoly/libpoly-0.2.0/include/polyxx/polynomial_utils.h
usr/src/debug/libpoly/libpoly-0.2.0/include/polyxx/rational.h
usr/src/debug/libpoly/libpoly-0.2.0/include/polyxx/rational_interval.h
usr/src/debug/libpoly/libpoly-0.2.0/include/polyxx/sign_condition.h
usr/src/debug/libpoly/libpoly-0.2.0/include/polyxx/upolynomial.h
usr/src/debug/libpoly/libpoly-0.2.0/include/polyxx/utils.h
usr/src/debug/libpoly/libpoly-0.2.0/include/polyxx/value.h
usr/src/debug/libpoly/libpoly-0.2.0/include/polyxx/variable.h
usr/src/debug/libpoly/libpoly-0.2.0/include/rational.h
usr/src/debug/libpoly/libpoly-0.2.0/include/rational_interval.h
usr/src/debug/libpoly/libpoly-0.2.0/include/sign_condition.h
usr/src/debug/libpoly/libpoly-0.2.0/include/upolynomial.h
usr/src/debug/libpoly/libpoly-0.2.0/include/upolynomial_factors.h
usr/src/debug/libpoly/libpoly-0.2.0/include/value.h
usr/src/debug/libpoly/libpoly-0.2.0/include/variable_db.h
usr/src/debug/libpoly/libpoly-0.2.0/include/variable_list.h
usr/src/debug/libpoly/libpoly-0.2.0/include/variable_order.h
usr/src/debug/libpoly/libpoly-0.2.0/src/
usr/src/debug/libpoly/libpoly-0.2.0/src/interval/
usr/src/debug/libpoly/libpoly-0.2.0/src/interval/arithmetic.c
usr/src/debug/libpoly/libpoly-0.2.0/src/interval/arithmetic.h
usr/src/debug/libpoly/libpoly-0.2.0/src/interval/interval.c
usr/src/debug/libpoly/libpoly-0.2.0/src/number/
usr/src/debug/libpoly/libpoly-0.2.0/src/number/algebraic_number.c
usr/src/debug/libpoly/libpoly-0.2.0/src/number/dyadic_rational.c
usr/src/debug/libpoly/libpoly-0.2.0/src/number/dyadic_rational.h
usr/src/debug/libpoly/libpoly-0.2.0/src/number/integer.c
usr/src/debug/libpoly/libpoly-0.2.0/src/number/integer.h
usr/src/debug/libpoly/libpoly-0.2.0/src/number/rational.c
usr/src/debug/libpoly/libpoly-0.2.0/src/number/rational.h
usr/src/debug/libpoly/libpoly-0.2.0/src/number/value.c
usr/src/debug/libpoly/libpoly-0.2.0/src/number/value.h
usr/src/debug/libpoly/libpoly-0.2.0/src/poly.c
usr/src/debug/libpoly/libpoly-0.2.0/src/polynomial/
usr/src/debug/libpoly/libpoly-0.2.0/src/polynomial/coefficient.c
usr/src/debug/libpoly/libpoly-0.2.0/src/polynomial/coefficient.h
usr/src/debug/libpoly/libpoly-0.2.0/src/polynomial/factorization.c
usr/src/debug/libpoly/libpoly-0.2.0/src/polynomial/factorization.h
usr/src/debug/libpoly/libpoly-0.2.0/src/polynomial/feasibility_set.c
usr/src/debug/libpoly/libpoly-0.2.0/src/polynomial/feasibility_set.h
usr/src/debug/libpoly/libpoly-0.2.0/src/polynomial/feasibility_set_int.c
usr/src/debug/libpoly/libpoly-0.2.0/src/polynomial/gcd.c
usr/src/debug/libpoly/libpoly-0.2.0/src/polynomial/gcd.h
usr/src/debug/libpoly/libpoly-0.2.0/src/polynomial/monomial.c
usr/src/debug/libpoly/libpoly-0.2.0/src/polynomial/output.c
usr/src/debug/libpoly/libpoly-0.2.0/src/polynomial/output.h
usr/src/debug/libpoly/libpoly-0.2.0/src/polynomial/polynomial.c
usr/src/debug/libpoly/libpoly-0.2.0/src/polynomial/polynomial.h
usr/src/debug/libpoly/libpoly-0.2.0/src/polynomial/polynomial_context.c
usr/src/debug/libpoly/libpoly-0.2.0/src/polynomial/polynomial_context.h
usr/src/debug/libpoly/libpoly-0.2.0/src/polynomial/polynomial_hash_set.c
usr/src/debug/libpoly/libpoly-0.2.0/src/polynomial/polynomial_heap.c
usr/src/debug/libpoly/libpoly-0.2.0/src/polynomial/polynomial_vector.c
usr/src/debug/libpoly/libpoly-0.2.0/src/polynomial/polynomial_vector.h
usr/src/debug/libpoly/libpoly-0.2.0/src/polynomial/subres.c
usr/src/debug/libpoly/libpoly-0.2.0/src/polyxx/
usr/src/debug/libpoly/libpoly-0.2.0/src/polyxx/algebraic_number.cpp
usr/src/debug/libpoly/libpoly-0.2.0/src/polyxx/assignment.cpp
usr/src/debug/libpoly/libpoly-0.2.0/src/polyxx/context.cpp
usr/src/debug/libpoly/libpoly-0.2.0/src/polyxx/dyadic_interval.cpp
usr/src/debug/libpoly/libpoly-0.2.0/src/polyxx/dyadic_rational.cpp
usr/src/debug/libpoly/libpoly-0.2.0/src/polyxx/integer.cpp
usr/src/debug/libpoly/libpoly-0.2.0/src/polyxx/integer_ring.cpp
usr/src/debug/libpoly/libpoly-0.2.0/src/polyxx/interval.cpp
usr/src/debug/libpoly/libpoly-0.2.0/src/polyxx/interval_assignment.cpp
usr/src/debug/libpoly/libpoly-0.2.0/src/polyxx/polynomial.cpp
usr/src/debug/libpoly/libpoly-0.2.0/src/polyxx/polynomial_utils.cpp
usr/src/debug/libpoly/libpoly-0.2.0/src/polyxx/rational.cpp
usr/src/debug/libpoly/libpoly-0.2.0/src/polyxx/rational_interval.cpp
usr/src/debug/libpoly/libpoly-0.2.0/src/polyxx/sign_condition.cpp
usr/src/debug/libpoly/libpoly-0.2.0/src/polyxx/upolynomial.cpp
usr/src/debug/libpoly/libpoly-0.2.0/src/polyxx/utils.cpp
usr/src/debug/libpoly/libpoly-0.2.0/src/polyxx/value.cpp
usr/src/debug/libpoly/libpoly-0.2.0/src/polyxx/variable.cpp
usr/src/debug/libpoly/libpoly-0.2.0/src/upolynomial/
usr/src/debug/libpoly/libpoly-0.2.0/src/upolynomial/bounds.c
usr/src/debug/libpoly/libpoly-0.2.0/src/upolynomial/bounds.h
usr/src/debug/libpoly/libpoly-0.2.0/src/upolynomial/factorization.c
usr/src/debug/libpoly/libpoly-0.2.0/src/upolynomial/factorization.h
usr/src/debug/libpoly/libpoly-0.2.0/src/upolynomial/factors.c
usr/src/debug/libpoly/libpoly-0.2.0/src/upolynomial/factors.h
usr/src/debug/libpoly/libpoly-0.2.0/src/upolynomial/gcd.c
usr/src/debug/libpoly/libpoly-0.2.0/src/upolynomial/gcd.h
usr/src/debug/libpoly/libpoly-0.2.0/src/upolynomial/output.c
usr/src/debug/libpoly/libpoly-0.2.0/src/upolynomial/output.h
usr/src/debug/libpoly/libpoly-0.2.0/src/upolynomial/root_finding.c
usr/src/debug/libpoly/libpoly-0.2.0/src/upolynomial/root_finding.h
usr/src/debug/libpoly/libpoly-0.2.0/src/upolynomial/umonomial.c
usr/src/debug/libpoly/libpoly-0.2.0/src/upolynomial/umonomial.h
usr/src/debug/libpoly/libpoly-0.2.0/src/upolynomial/upolynomial.c
usr/src/debug/libpoly/libpoly-0.2.0/src/upolynomial/upolynomial.h
usr/src/debug/libpoly/libpoly-0.2.0/src/upolynomial/upolynomial_dense.c
usr/src/debug/libpoly/libpoly-0.2.0/src/upolynomial/upolynomial_dense.h
usr/src/debug/libpoly/libpoly-0.2.0/src/upolynomial/upolynomial_vector.c
usr/src/debug/libpoly/libpoly-0.2.0/src/upolynomial/upolynomial_vector.h
usr/src/debug/libpoly/libpoly-0.2.0/src/utils/
usr/src/debug/libpoly/libpoly-0.2.0/src/utils/assignment.c
usr/src/debug/libpoly/libpoly-0.2.0/src/utils/debug_trace.c
usr/src/debug/libpoly/libpoly-0.2.0/src/utils/debug_trace.h
usr/src/debug/libpoly/libpoly-0.2.0/src/utils/hash.h
usr/src/debug/libpoly/libpoly-0.2.0/src/utils/output.c
usr/src/debug/libpoly/libpoly-0.2.0/src/utils/output.h
usr/src/debug/libpoly/libpoly-0.2.0/src/utils/sign_condition.c
usr/src/debug/libpoly/libpoly-0.2.0/src/utils/statistics.c
usr/src/debug/libpoly/libpoly-0.2.0/src/utils/statistics.h
usr/src/debug/libpoly/libpoly-0.2.0/src/utils/u_memstream.c
usr/src/debug/libpoly/libpoly-0.2.0/src/utils/u_memstream.h
usr/src/debug/libpoly/libpoly-0.2.0/src/variable/
usr/src/debug/libpoly/libpoly-0.2.0/src/variable/variable_db.c
usr/src/debug/libpoly/libpoly-0.2.0/src/variable/variable_list.c
usr/src/debug/libpoly/libpoly-0.2.0/src/variable/variable_order.c
usr/src/debug/libpoly/libpoly-0.2.0/src/variable/variable_order.h
