Report: Код ошибки z3 на терминале

You are reporting the paste Код ошибки z3 на терминале.