#!/bin/bash
java -Xms512m -Xmx1024m -Xss10m -cp ./bin/Euler.jar euler.ProofEngine $*