target = Traversal
classpath = /courses/4315/workspace/4315/bin
cg.enumerate_random = true
listener = listener.StateSpaceText
native_classpath = /courses/4315/workspace/4315/bin