#!/bin/sh
exec ../../acl2-images/level11-symmetry "$@"