+ return "http://mowgli.cs.unibo.it:48081/";
+ case "uri_set_queueURL":
+ return "http://mowgli.cs.unibo.it:48082/";
+ case "draw_graphURL":
+ return "http://mowgli.cs.unibo.it:48083/";
+ case "proofcheckerURL":
+ return "http://mowgli.cs.unibo.it:48084/";
+ case "UNICODEvsSYMBOL":
+ return "symbol";