-export GTOPLEVEL_PROOFFILE=/public/sacerdot/currentproof
-export GTOPLEVEL_PROOFFILETYPE=/public/sacerdot/currentprooftype
-export GTOPLEVEL_INNERTYPESFILE=/public/sacerdot/innertypes
-export GTOPLEVEL_CONSTANTTYPEFILE=/public/sacerdot/constanttype
+export GTOPLEVEL_PROOFFILE=/public/helm_library/currentproof
+export GTOPLEVEL_PROOFFILETYPE=/public/helm_library/currentprooftype
+export GTOPLEVEL_INNERTYPESFILE=/public/helm_library/innertypes
+export GTOPLEVEL_CONSTANTTYPEFILE=/public/helm_library/constanttype
+export GTOPLEVEL_ENVIRONMENTFILE=/public/helm_library/environment
+export MATHQL_DB_MAP=/home/zack/helm/mathql_db_map.txt