Original writeup (https://github.com/KEERRO/ctf-writeups/blob/master/%C3%A5ngstromCTF%202020/crypto/One%20Time%20Bad/solver.py).