#!/bin/sh
$AUTO_DIR/bin/plaut04 $1 $2 &
