#! /bin/bash

acl2 < $1