+
+export GTOPLEVEL_PROOFFILE=/tmp/asperti_currentproof
+export GTOPLEVEL_PROOFFILETYPE=/tmp/asperti_currentprooftype
+export GTOPLEVEL_INNERTYPESFILE=/tmp/asperti_innertypes
+export GTOPLEVEL_CONSTANTTYPEFILE=/tmp/asperti_constanttype
+export POSTGRESQL_CONNECTION_STRING="host=mowgli.cs.unibo.it dbname=mowgli user=helm password=awH21Un"
+#export POSTGRESQL_CONNECTION_STRING="dbname=helm_mowgli_new_schema user=helm"
+#export POSTGRESQL_CONNECTION_STRING="host=mowgli.cs.unibo.it dbname=helm_mowgli_new_schema user=helm"