#!/bin/sh

files="01 02 03 04 05 06 07 08 09 10 \
       11 12 13 14 15 16 17 18 19 20 21 22 23 24 25"

for f in $files
do

   echo -n p$f.t: ""
   ./mi p$f.t
done
