swipl ~/src/lang/goedel/goedel/v2_0/src/dsa.pl  <M1.in >M1.out.tmp 2>M1.err.tmp
$EDITOR M1.out.tmp M1.err.tmp


