%FILES%
usr/
usr/share/
usr/bin/
usr/bin/sea
usr/share/sea/
usr/share/sea/README.md
usr/share/sea/src/
usr/share/sea/COPYING
usr/share/sea/SEA.py
usr/share/sea/src/SMT.py
usr/share/sea/src/Callstack.py
usr/share/sea/src/Prelude.py
usr/share/sea/src/PathGeneration.py
usr/share/sea/src/Typing.py
usr/share/sea/src/Allocation.py
usr/share/sea/src/Parameters.py
usr/share/sea/src/Common.py
usr/share/sea/src/JumpConditions.py
usr/share/sea/src/core/
usr/share/sea/src/SSA.py
usr/share/sea/src/__init__.py
usr/share/sea/src/Lifting.py
usr/share/sea/src/TypeSlicer.py
usr/share/sea/src/Memory.py
usr/share/sea/src/MemVars.py
usr/share/sea/src/Inputs.py
usr/share/sea/src/Function.py
usr/share/sea/src/Condition.py
usr/share/sea/src/core/pkgs/
usr/share/sea/src/core/Operand.py
usr/share/sea/src/core/Instruction.py
usr/share/sea/src/core/__init__.py
usr/share/sea/src/core/Types.py
usr/share/sea/src/core/Lattice.py
usr/share/sea/src/core/Reil.py
usr/share/sea/src/core/Bap.py
usr/share/sea/src/core/Program.py
usr/share/sea/src/core/PathGenerator.py
usr/share/sea/src/core/Location.py
usr/share/sea/src/core/Path.py
usr/share/sea/src/core/pkgs/__init__.py
usr/share/sea/src/core/pkgs/pyparsing/
usr/share/sea/src/core/pkgs/pyparsing/__init__.py
