*.smt2 -text
