Change output format of ir-triplets