#!/bin/sh
"$AUTO_DIR"/bin/plaut04 -r3b $1 $2 &
