Tags: rev z3 crypto 

Rating:

Crypto 50 solved using z3.

Original writeup (https://anee.me/csaw-ctf-2016-finals-katy-writeup-39d748385515).