%FILES%
usr/
usr/lib/
usr/lib/debug/
usr/lib/debug/.build-id/
usr/lib/debug/.build-id/c7/
usr/lib/debug/.build-id/c7/a3f802dca9e94c46bf09778653a91d937260ca
usr/lib/debug/.build-id/c7/a3f802dca9e94c46bf09778653a91d937260ca.debug
usr/lib/debug/usr/
usr/lib/debug/usr/lib/
usr/lib/debug/usr/lib/libHStamarin-prover-term-1.10.0-JBUuLi6ad1wGizuxOf3geX-ghc9.6.6.so.debug
usr/src/
usr/src/debug/
usr/src/debug/haskell-tamarin-prover-term/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/Data/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/Data/Attoparsec/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/Data/Attoparsec/ByteString/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/Data/Attoparsec/Internal/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/Data/DList/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/internal/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/internal/Data/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/internal/Data/Attoparsec/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/internal/Data/Attoparsec/ByteString/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Control/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Control/Monad/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Extension/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Extension/Data/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Builtin/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Builtin/Convenience.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Builtin/Rules.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Builtin/Signature.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/LTerm.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Macro.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Maude/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Maude/Parser.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Maude/Process.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Maude/Signature.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Maude/Types.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Narrowing/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Narrowing/Narrow.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Narrowing/Variants.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Narrowing/Variants/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Narrowing/Variants/Check.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Narrowing/Variants/Compute.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Positions.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Rewriting/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Rewriting/Definitions.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Rewriting/Norm.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Substitution.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Substitution/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Substitution/SubstVFree.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Substitution/SubstVFresh.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Subsumption.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/SubtermRule.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Term.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Term/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Term/Classes.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Term/FunctionSymbols.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Term/Raw.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/Unification.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/UnitTests.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Term/VTerm.hs
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Test/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Test/HUnit/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Text/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Text/PrettyPrint/
