#setenv COLOSHOME /usr0/ltd/colos
setenv XAPPLRESDIR $COLOSHOME/APP-DEFAULTS/ENG
setenv XBMLANGPATH $COLOSHOME/DATA/PIXMAPS

$COLOSHOME/BIN/S700/automata -f $COLOSHOME/SRC/MILAN/AUTOMATA/AutEx/0and1even.aut
