Original writeup (https://tzion0.github.io/posts/picoctf2022-for/).