2014-07-16-10.30.15: src/lib/src/tuplebase.pkg: Added get_triples12, get_triples13, get_triples23.