ft-out-2006-03-01--18_31_59-test0005.smt2 144 KB