regress/parser/smt2perr181.smt2:1:37: invalid significand size '1', must be > 1