#!/bin/bash

# Wrapper script for LP2NORMAL2 (1.5) + CLASP (3.0.3)

if test $# -ne 3
then
  echo "The script $0 must be invoked with three parameters!"
  exit 128
fi

trap ":" 24 15

BIN=`dirname $0`

gringo-aspcomp2014 --foobar="$3" 2>/dev/null \
| $BIN/lp2normal2-1.7 -k \
  -cR-if "1000 < n * (log k) * (log (n - k + 1))" \
  -wR-if "x = n * (1 + log(w/n)); 10000 < x * (log x)^2" \
  -oqn 2>/dev/null \
| $BIN/igen-1.7 2>/dev/null \
| $BIN/clasp-3.0.3 --config=trendy --outf=1 -V0

declare -a rvals=("${PIPESTATUS[@]}")

if test ${rvals[0]} -ne 0
then
  echo "Grounding error!"
  exit 128
fi

for i in 1 2
do
  if test ${rvals[$i]} -ne 0
  then
    echo "UNKNOWN"
    exit 1
  fi
done

exit ${rvals[3]}
