a64test0001.smt2 514 Bytes