((human:0.23990788,mouse:0.12287036):0.37938959,lizard:0.55052150,puffer_fish:0.77608405);