Extract triples.txt