Index: /trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/FirstOrderMarkovModel.java
===================================================================
--- /trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/FirstOrderMarkovModel.java	(revision 373)
+++ /trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/FirstOrderMarkovModel.java	(revision 374)
@@ -178,5 +178,5 @@
 			final String thisSaneId = symbol.getShortId().replace("\"", "\\\"")
 					.replaceAll("[\r\n]", "");
-			stringBuilder.append(" " + symbol.hashCode() + " [label=\""
+			stringBuilder.append(" " + knownSymbols.indexOf(symbol) + " [label=\""
 					+ thisSaneId + "\"];" + StringTools.ENDLINE);
 			List<Event<?>> context = new ArrayList<Event<?>>();
@@ -184,6 +184,6 @@
 			Collection<Event<?>> followers = trie.getFollowingSymbols(context);
 			for (Event<?> follower : followers) {
-				stringBuilder.append(" " + symbol.hashCode() + " -> "
-						+ follower.hashCode() + " ");
+				stringBuilder.append(" " + knownSymbols.indexOf(symbol) + " -> "
+						+ knownSymbols.indexOf(follower) + " ");
 				stringBuilder.append("[label=\""
 						+ getProbability(context, follower) + "\"];"