Rating:

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