Z3 version 4.15.4 - 64 bit
