Version: 1.13 
 _ data/zoo_json_waypoint4/Funet_4.json -f output/flip/data/zoo_json_waypoint4/Funet_4.json.subpaths
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
	at java.base/java.util.Arrays.copyOf(Arrays.java:3481)
	at java.base/java.util.ArrayList.toArray(ArrayList.java:369)
	at java.base/java.util.ArrayList.<init>(ArrayList.java:181)
	at kotlin.collections.CollectionsKt___CollectionsKt.toMutableList(_Collections.kt:1333)
	at translate.DFAKt.getFLIPSubPaths$pathsFromSwitch(DFA.kt:205)
	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)
	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 50.94
user 52.00
sys 0.57
<logging.Logger object at 0x7f81876f77d0>
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_waypoint4/Funet_4.json.subpaths'
