ATTENTION: There could be cases, where Odysseus starts with an error like "OPERATOR not found" (especially in the first starts) or "java.lang.ArrayIndexOutOfBoundsException: Index 104 out of bounds for length 104". We are working on this problem. Please try to restart!
...