Placing the number of deduced triples in the right folder
Merging