The colored and animated logging parts are from pwntools (https://docs.pwntools.com/en/stable/).