Z3.exe 144 KB