#!/bin/sh
## This file is automatically generated by ../install.sh

command="verify(${1},${2},${3})"

/home/nardine/mc/XSB/bin/xsb --nobanner --quietload --noprompt -e "consult('/home/nardine/mc/lcc_mcid/mcid/verification'), $command, halt."
