Tags: pwntools z3 pwn rev 

Rating: 0

Solved using Z3 and Pwntools