fib01 :: Int -> Int -> Int -> Int
-- testing 8 combinations of argument values
-- pruning with 6/10 rules
-- 4 candidates of size 1
-- 3 candidates of size 2
-- 9 candidates of size 3
-- 9 candidates of size 4
-- 27 candidates of size 5
-- tested 52 candidates
fib01  =  undefined  -- search exhausted

fib01 :: Int -> Int -> Int -> Int
-- testing 8 combinations of argument values
-- pruning with 21/41 rules
-- 4 candidates of size 1
-- tested 4 candidates
fib01  =  undefined  -- search exhausted

