%FILES%
usr/
usr/lib/
usr/lib/debug/
usr/lib/debug/.build-id/
usr/lib/debug/.build-id/75/
usr/lib/debug/.build-id/75/6fda27f3c87933f3de4e4594b7b47bb8ee63b4
usr/lib/debug/.build-id/75/6fda27f3c87933f3de4e4594b7b47bb8ee63b4.debug
usr/lib/debug/usr/
usr/lib/debug/usr/lib/
usr/lib/debug/usr/lib/libHStamarin-prover-theory-1.10.0-GAqlp4VxdRt233WnhAJzfT-ghc9.6.6.so.debug
usr/src/
usr/src/debug/
usr/src/debug/haskell-tamarin-prover-theory/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/Control/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/Control/Monad/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/Control/Parallel/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/Data/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/Data/DList/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/Data/Generics/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/Data/Generics/Uniplate/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/Data/Generics/Uniplate/Internal/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/Data/Primitive/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/library/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/library/ListT/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/ClosedTheory.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Control/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Control/Monad/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Control/Monad/Disj/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Control/Monad/Trans/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Data/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Data/Aeson/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Data/Aeson/Encoding/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Data/Aeson/Types/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Data/Label/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Data/Stream/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Data/Vector/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Data/Vector/Generic/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Extension/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Extension/Data/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Items/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Items/AccLemmaItem.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Items/CaseTestItem.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Items/ExportInfo.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Items/LemmaItem.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Items/OptionItem.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Items/ProcessItem.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Items/RuleItem.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Items/TheoryItem.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Lemma.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Logic/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/OpenTheory.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Pretty.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Prover.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Rule.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Term/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Term/Maude/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Term/Substitution/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Term/Term/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Text/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Text/PrettyPrint/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Constraint/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Constraint/Solver/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Constraint/Solver/AnnotatedGoals.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Constraint/Solver/Contradictions.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Constraint/Solver/Goals.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Constraint/Solver/ProofMethod.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Constraint/Solver/Reduction.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Constraint/Solver/Simplify.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Constraint/Solver/Sources.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Constraint/System.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Constraint/System/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Constraint/System/Constraints.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Constraint/System/Dot.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Constraint/System/Graph/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Constraint/System/Graph/Abbreviation.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Constraint/System/Graph/Graph.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Constraint/System/Graph/GraphRepr.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Constraint/System/Graph/Simplification.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Constraint/System/Guarded.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Constraint/System/JSON.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Model/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Model/Atom.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Model/Fact.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Model/Formula.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Model/Restriction.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Model/Rule.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Model/Signature.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Module.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Proof.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/ProofSkeleton.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Sapic/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Sapic/Annotation.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Sapic/Pattern.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Sapic/Position.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Sapic/Print.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Sapic/Process.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Sapic/Substitution.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Sapic/Term.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Syntactic/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Syntactic/Predicate.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Text/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Text/Parser.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Text/Parser/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Text/Parser/Accountability.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Text/Parser/Exceptions.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Text/Parser/Fact.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Text/Parser/Formula.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Text/Parser/Lemma.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Text/Parser/Let.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Text/Parser/Macro.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Text/Parser/Proof.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Text/Parser/Restriction.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Text/Parser/Rule.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Text/Parser/Sapic.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Text/Parser/Signature.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Text/Parser/Tactics.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Text/Parser/Term.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Text/Parser/Token.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Text/Pretty.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Tools/
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Tools/AbstractInterpretation.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Tools/EquationStore.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Tools/InjectiveFactInstances.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Tools/IntruderRules.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Tools/LoopBreakers.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Tools/MessageDerivationChecks.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Tools/RuleVariants.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Tools/SubtermStore.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/Theory/Tools/Wellformedness.hs
usr/src/debug/haskell-tamarin-prover-theory/tamarin-prover-1.10.0/lib/theory/src/TheoryObject.hs
