requests
pwntools
pycryptodome
beautifulsoup4
lxml
z3-solver
