(b a 10)
(c a 2)
(d a 1)
(e a 1)
(f a 1)
(a b 15)
