Original writeup (https://tcode2k16.github.io/blog/posts/2019-03-11-utctf-writeup/#low-sodium-bagel-300pts).