Z3 and Z3 Compact

Z3 and Z3 Compact