Used angr :D

Original writeup (https://rainbowpigeon.me/posts/grey-cat-the-flag-qualifiers-2022/#-angry-robot).