(evm.model.tig00000042.143:0.296426,(((evm.model.tig00000042.148:1.13773,evm.model.tig00020951.49:1.04758):0.32896,evm.model.tig00000042.150:0.291754):0.149316,evm.model.tig00000042.153:0.51123):0.296426);