Version: 1.13 
 _ data/zoo_json_alt_waypoint4/Palmetto_4.json -f output/flip/data/zoo_json_alt_waypoint4/Palmetto_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 kotlin.collections.CollectionsKt__MutableCollectionsKt.addAll(MutableCollections.kt:116)
	at kotlin.collections.CollectionsKt___CollectionsKt.union(_Collections.kt:1710)
	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)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:213)
Command exited with non-zero status 1
real 62.14
user 63.12
sys 0.41
<logging.Logger object at 0x7fbba0f677d0>
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_alt_waypoint4/Palmetto_4.json.subpaths'
