from z3 import *

[read more](http://taqini.space/2020/05/11/Sharky-CTF-2020-pwn-wp/#z3-robot-189pt)

Original writeup (http://taqini.space/2020/05/11/Sharky-CTF-2020-pwn-wp/#z3-robot-189pt).