log/smt2perr131.smt2:1:12: illegal (non-printable) character (code 195)