pegase-z3-backend/brunoCollection/Users/folder.bru