Tags: angr 

Rating:

Solved with angr.

Original writeup (http://hack.carleton.team/2016/05/21/defcon-ctf-qualifier-2016-baby-re/).