Rating:

Original writeup (https://duksctf.github.io/2022/10/01/SEKAI2022-Symbolic-Needs1.html).