((Tpet_1424:20.2376136928718,(Tpet_0074:40.5173038846368,Tpet_1137:40.5173038846368):20.2376136928718):0,(Tpet_0228:10.4199957452362,(Tpet_0520:58.092433011882,Tpet_1513:58.092433011882):10.4199957452362):0);