swipl dsa.pl  <M1.in >M1.out.tmp 2>M1.err.tmp
$EDITOR M1.out.tmp M1.err.tmp


