+Marked_gsppairMarked_npfibnpMarked_spsMarked_fibgMarked_+0zyxfib(0)0fib(s(0))s(0)fib(s(s(0)))s(0)fib(s(s(x)))sp(g(x))g(0)pair(s(0),0)g(s(0))pair(s(0),s(0))g(s(x))np(g(x))sp(pair(x,y))+(x,y)np(pair(x,y))pair(+(x,y),x)+(x,0)x+(x,s(y))s(+(x,y))fib(0)0fib(s(0))s(0)fib(s(s(0)))s(0)fib(s(s(x)))sp(g(x))g(0)pair(s(0),0)g(s(0))pair(s(0),s(0))g(s(x))np(g(x))sp(pair(x,y))+(x,y)np(pair(x,y))pair(+(x,y),x)+(x,0)x+(x,s(y))s(+(x,y))Marked_fib(s(s(x)))Marked_sp(g(x))Marked_fib(s(s(x)))Marked_g(x)Marked_g(s(x))Marked_np(g(x))Marked_g(s(x))Marked_g(x)Marked_sp(pair(x,y))Marked_+(x,y)Marked_np(pair(x,y))Marked_+(x,y)Marked_+(x,s(y))Marked_+(x,y)fib(0)0fib(s(0))s(0)fib(s(s(0)))s(0)fib(s(s(x)))sp(g(x))g(0)pair(s(0),0)g(s(0))pair(s(0),s(0))g(s(x))np(g(x))sp(pair(x,y))+(x,y)np(pair(x,y))pair(+(x,y),x)+(x,0)x+(x,s(y))s(+(x,y))Marked_g(s(x))Marked_g(x)Marked_g1Marked_g(s(x))Marked_g(x)fib(0)0fib(s(0))s(0)fib(s(s(0)))s(0)fib(s(s(x)))sp(g(x))g(0)pair(s(0),0)g(s(0))pair(s(0),s(0))g(s(x))np(g(x))sp(pair(x,y))+(x,y)np(pair(x,y))pair(+(x,y),x)+(x,0)x+(x,s(y))s(+(x,y))fib(0)0fib(s(0))s(0)fib(s(s(0)))s(0)fib(s(s(x)))sp(g(x))g(0)pair(s(0),0)g(s(0))pair(s(0),s(0))g(s(x))np(g(x))sp(pair(x,y))+(x,y)np(pair(x,y))pair(+(x,y),x)+(x,0)x+(x,s(y))s(+(x,y))Marked_+(x,s(y))Marked_+(x,y)Marked_+2Marked_+(x,s(y))Marked_+(x,y)fib(0)0fib(s(0))s(0)fib(s(s(0)))s(0)fib(s(s(x)))sp(g(x))g(0)pair(s(0),0)g(s(0))pair(s(0),s(0))g(s(x))np(g(x))sp(pair(x,y))+(x,y)np(pair(x,y))pair(+(x,y),x)+(x,0)x+(x,s(y))s(+(x,y))