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