(((Tps:0007891,Tdi:0007087):0030829,(Tce:0007122,Tms:0006773):0028520):0031594,(Tbi:0002352,Tte:0000496):0031594):0000000;