brun -c "(= (f 1) (+ (f (r 1)) (f (r (r 1)))))" "(7 3 3)"
cost = 1194
()
