MAYBE
0.08/0.17	MAYBE
0.08/0.17	
0.08/0.17	Problem:
0.08/0.17	 fib(0()) -> 0()
0.08/0.17	 fib(s(0())) -> s(0())
0.08/0.17	 fib(s(s(0()))) -> s(0())
0.08/0.17	 fib(s(s(x))) -> sp(g(x))
0.08/0.17	 g(0()) -> pair(s(0()),0())
0.08/0.17	 g(s(0())) -> pair(s(0()),s(0()))
0.08/0.17	 g(s(x)) -> np(g(x))
0.08/0.17	 sp(pair(x,y)) -> +(x,y)
0.08/0.17	 np(pair(x,y)) -> pair(+(x,y),x)
0.08/0.17	 +(x,0()) -> x
0.08/0.17	 +(x,s(y)) -> s(+(x,y))
0.08/0.17	
0.08/0.17	Proof:
0.08/0.17	 Open
0.08/0.18	EOF