/egraph/
../
in_external_repository.txt