#!/bin/csh
setenv ANNADIR `pwd`
#Anna400 -S -H4000000 - -fPolyLim11 -fForceAll < preludeList.cor
./Main +RTS -H32M -RTS -fPolyLim11 -fForceAll < preludeList.cor
