Tags: rev z3 

Rating:

Original writeup (https://github.com/cscosu/ctf-writeups/tree/master/2021/google_ctf/hexagon).