Z3 ошибка на терминале альфа