+fibsMarked_fib0zyxfib(0)0fib(s(0))s(0)fib(s(s(x)))+(fib(s(x)),fib(x))fib(0)0fib(s(0))s(0)fib(s(s(x)))+(fib(s(x)),fib(x))Marked_fib(s(s(x)))Marked_fib(s(x))Marked_fib(s(s(x)))Marked_fib(x)fib(0)0fib(s(0))s(0)fib(s(s(x)))+(fib(s(x)),fib(x))Marked_fib(s(s(x)))Marked_fib(s(x))Marked_fib(s(s(x)))Marked_fib(x)030Marked_fib10s220fib10+20