setenv HTTP_GETTER_PORT 58081
setenv URI_SET_QUEUE_PORT 58082
setenv DRAW_GRAPH_PORT 58083
setenv PROOF_CHECKER_PORT 58084
setenv SEARCH_ENGINE_PORT 58085
setenv DRAW_GRAPH_DIR /projects/helm/graphs/tools
setenv HTTP_GETTER_PORT 58081
setenv URI_SET_QUEUE_PORT 58082
setenv DRAW_GRAPH_PORT 58083
setenv PROOF_CHECKER_PORT 58084
setenv SEARCH_ENGINE_PORT 58085
setenv DRAW_GRAPH_DIR /projects/helm/graphs/tools