(((dog:22.90000,(((bear:13.00000,raccoon:13.00000):5.75000,
(seal:12.00000,sea_lion:12.00000):6.75000):1.00000,weasel:19.75000):3.15000):22.01667,
cat:44.91667):27.22619,monkey:72.14286);