#
echo "../source/otter < $1.in > $1.out"
../source/otter < $1.in > $1.out
