brun -s2 '(opt (q . (a (q . (+ (r (f 1)) (f (f 1)))) (c (q . (75 . 99)) 1))))'
(q . 174)
