extensions/concolic/test/txtfiles/2class.txt