add procedure tripes to find all ordered triples of distinct positive integers