Wiremask··on Solving a Crackme using Z3: Theorem Prover Yes I totally agree, I just kept the file original name.