((bear:6.87500,raccoon:19.12500):1.75000,((seal:12.35000,
sea_lion:11.65000):7.81250,(weasel:19.56250,(cat:47.08333,
monkey:100.91667):20.43750):1.56250):3.43750,dog:25.25000);