(((Tps:0000000,Tdi:0007162):0030075,(Tcm:0000000,Tsi:0000000):0069357):0042333,(Tce:0006802,Tms:0028510):0042333):0000000;