./runme: line 4:  6994 CPU time limit exceeded (core dumped) java -ea -Xmx700m -jar aprove.jar $* -P$HASKELL_IMPORT_PATH
