%FILES%
usr/
usr/lib/
usr/lib/debug/
usr/lib/debug/.build-id/
usr/lib/debug/.build-id/df/
usr/lib/debug/.build-id/df/839b7b5e39175f50e48b65195eb63549b9e3f9
usr/lib/debug/.build-id/df/839b7b5e39175f50e48b65195eb63549b9e3f9.debug
usr/lib/debug/usr/
usr/lib/debug/usr/lib/
usr/lib/debug/usr/lib/libHSminisat-0.1.4-4GV2Ap5PKnp2AKtGSxlAAZ-ghc9.6.7.so.debug
usr/src/
usr/src/debug/
usr/src/debug/haskell-minisat/
usr/src/debug/haskell-minisat/minisat-0.1.4/
usr/src/debug/haskell-minisat/minisat-0.1.4/Control/
usr/src/debug/haskell-minisat/minisat-0.1.4/Control/Concurrent/
usr/src/debug/haskell-minisat/minisat-0.1.4/Control/Concurrent/Async/
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat-c-bindings/
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat-c-bindings/minisat.cc
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat-c-bindings/minisat.h
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat-haskell-bindings/
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat-haskell-bindings/MiniSat.hsc
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat/
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat/minisat/
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat/minisat/core/
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat/minisat/core/Solver.cc
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat/minisat/core/Solver.h
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat/minisat/core/SolverTypes.h
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat/minisat/mtl/
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat/minisat/mtl/Alg.h
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat/minisat/mtl/Alloc.h
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat/minisat/mtl/Heap.h
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat/minisat/mtl/IntMap.h
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat/minisat/mtl/Map.h
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat/minisat/mtl/Queue.h
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat/minisat/mtl/Sort.h
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat/minisat/mtl/Vec.h
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat/minisat/mtl/XAlloc.h
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat/minisat/simp/
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat/minisat/simp/SimpSolver.cc
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat/minisat/simp/SimpSolver.h
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat/minisat/utils/
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat/minisat/utils/Options.h
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat/minisat/utils/ParseUtils.h
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat/minisat/utils/System.cc
usr/src/debug/haskell-minisat/minisat-0.1.4/minisat/minisat/utils/System.h
