Flag checker binary
Solved with the Binary Ninja API and z3
https://geana.io/posts/2021-01-18-bamboofox-ctf-2021