regress/parser/smt2perr180.smt2:1:35: invalid exponent size '1', must be > 1