Z3d To Obj Converter (Full Version)