%FILES%
usr/
usr/lib/
usr/lib/debug/
usr/lib/debug/.build-id/
usr/lib/debug/.build-id/e6/
usr/lib/debug/.build-id/e6/bdfd43d282337f3a5b25cb8ca17ed116577de6
usr/lib/debug/.build-id/e6/bdfd43d282337f3a5b25cb8ca17ed116577de6.debug
usr/lib/debug/usr/
usr/lib/debug/usr/lib/
usr/lib/debug/usr/lib/libHStamarin-prover-term-1.10.0-5200aW3S6KK2gYADpiMQ8m-ghc9.4.8.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/Control/Monad/Fresh/
usr/src/debug/haskell-tamarin-prover-term/tamarin-prover-1.10.0/lib/term/src/Control/Monad/Trans/
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/
