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