Version: 1.13 
 _ data/zoo_json_waypoint8/Geant2009_4.json -f output/flip/data/zoo_json_waypoint8/Geant2009_4.json.subpaths
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
	at java.base/java.util.HashMap.resize(HashMap.java:702)
	at java.base/java.util.HashMap.putVal(HashMap.java:627)
	at java.base/java.util.HashMap.put(HashMap.java:610)
	at java.base/java.util.HashSet.add(HashSet.java:221)
	at java.base/java.util.AbstractCollection.addAll(AbstractCollection.java:336)
	at java.base/java.util.LinkedHashSet.<init>(LinkedHashSet.java:170)
	at kotlin.collections.CollectionsKt___CollectionsKt.toMutableSet(_Collections.kt:1694)
	at kotlin.collections.CollectionsKt___CollectionsKt.union(_Collections.kt:1709)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:207)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:213)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:213)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:213)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:213)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:213)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:213)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:213)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:213)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:213)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:213)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:213)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:213)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:213)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:213)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:213)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:213)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:213)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:213)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:213)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:213)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:213)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:213)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:213)
Command exited with non-zero status 1
real 59.78
user 60.48
sys 0.38
<logging.Logger object at 0x7f0e5efb77d0>
Traceback (most recent call last):
  File "runflipwithdfa.py", line 39, in <module>
    main(jsonPath, subpathsPath)
  File "runflipwithdfa.py", line 22, in main
    subpaths = open(subpathsPath).read().split(";")
IOError: [Errno 2] No such file or directory: 'output/flip/data/zoo_json_waypoint8/Geant2009_4.json.subpaths'
