%FILES%
usr/
usr/lib/
usr/lib/debug/
usr/lib/debug/.build-id/
usr/lib/debug/.build-id/0b/
usr/lib/debug/.build-id/0b/d71fc2ce0c346e533fab2a13e384172e460748
usr/lib/debug/.build-id/0b/d71fc2ce0c346e533fab2a13e384172e460748.debug
usr/lib/debug/usr/
usr/lib/debug/usr/lib/
usr/lib/debug/usr/lib/libHSminisat-0.1.4-Ed3VPrtFmnzEOwff5UnJBK-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
