#!/bin/sh

./run -ax:smt/AUFLIA2.ax "$@"