n__addMarked_add0Marked_selconsactivatefib1Marked_fibn__fib1Marked_activatesMarked_fib1fibaddselX2X1XSYXNfib(N)sel(N,fib1(s(0),s(0)))fib1(X,Y)cons(X,n__fib1(Y,n__add(X,Y)))add(0,X)Xadd(s(X),Y)s(add(X,Y))sel(0,cons(X,XS))Xsel(s(N),cons(X,XS))sel(N,activate(XS))fib1(X1,X2)n__fib1(X1,X2)add(X1,X2)n__add(X1,X2)activate(n__fib1(X1,X2))fib1(activate(X1),activate(X2))activate(n__add(X1,X2))add(activate(X1),activate(X2))activate(X)Xfib(N)sel(N,fib1(s(0),s(0)))fib1(X,Y)cons(X,n__fib1(Y,n__add(X,Y)))add(0,X)Xadd(s(X),Y)s(add(X,Y))sel(0,cons(X,XS))Xsel(s(N),cons(X,XS))sel(N,activate(XS))fib1(X1,X2)n__fib1(X1,X2)add(X1,X2)n__add(X1,X2)activate(n__fib1(X1,X2))fib1(activate(X1),activate(X2))activate(n__add(X1,X2))add(activate(X1),activate(X2))activate(X)XMarked_fib(N)Marked_sel(N,fib1(s(0),s(0)))Marked_fib(N)Marked_fib1(s(0),s(0))Marked_add(s(X),Y)Marked_add(X,Y)Marked_sel(s(N),cons(X,XS))Marked_sel(N,activate(XS))Marked_sel(s(N),cons(X,XS))Marked_activate(XS)Marked_activate(n__fib1(X1,X2))Marked_fib1(activate(X1),activate(X2))Marked_activate(n__fib1(X1,X2))Marked_activate(X1)Marked_activate(n__fib1(X1,X2))Marked_activate(X2)Marked_activate(n__add(X1,X2))Marked_add(activate(X1),activate(X2))Marked_activate(n__add(X1,X2))Marked_activate(X1)Marked_activate(n__add(X1,X2))Marked_activate(X2)fib(N)sel(N,fib1(s(0),s(0)))fib1(X,Y)cons(X,n__fib1(Y,n__add(X,Y)))add(0,X)Xadd(s(X),Y)s(add(X,Y))sel(0,cons(X,XS))Xsel(s(N),cons(X,XS))sel(N,activate(XS))fib1(X1,X2)n__fib1(X1,X2)add(X1,X2)n__add(X1,X2)activate(n__fib1(X1,X2))fib1(activate(X1),activate(X2))activate(n__add(X1,X2))add(activate(X1),activate(X2))activate(X)XMarked_sel(s(N),cons(X,XS))Marked_sel(N,activate(XS))seladdfibsn__fib1fib1activateconsMarked_sel0n__addselfibfib1selfib1fibfib1activatefib1Marked_selsselsfibsaddsactivatesMarked_sel0fibconsselconsfib1consfibconsactivateconsMarked_seln__fib1seln__fib1fib1n__fib1fibn__fib1activaten__fib1Marked_seln__addseln__addfib1n__addfibn__addaddn__addactivaten__addMarked_seladdseladdfibaddactivateaddMarked_selactivateselactivatefibactivateMarked_selfib(N)sel(N,fib1(s(0),s(0)))fib1(X,Y)cons(X,n__fib1(Y,n__add(X,Y)))add(0,X)Xadd(s(X),Y)s(add(X,Y))sel(0,cons(X,XS))Xsel(s(N),cons(X,XS))sel(N,activate(XS))fib1(X1,X2)n__fib1(X1,X2)add(X1,X2)n__add(X1,X2)activate(n__fib1(X1,X2))fib1(activate(X1),activate(X2))activate(n__add(X1,X2))add(activate(X1),activate(X2))activate(X)XMarked_activate(n__fib1(X1,X2))Marked_activate(X1)Marked_activate(n__fib1(X1,X2))Marked_activate(X2)Marked_activate(n__add(X1,X2))Marked_activate(X1)Marked_activate(n__add(X1,X2))Marked_activate(X2)seladdfibsn__fib1fib1activatecons0n__addselfibfib1selfib1fibfib1activatesselsfibsaddsactivate0fibconsselconsfib1consfibconsactivaten__fib1seln__fib1fib1n__fib1fibn__fib1activaten__addseln__addfib1n__addfibn__addaddn__addactivateaddseladdfibaddactivateactivateselactivatefibfib(N)sel(N,fib1(s(0),s(0)))fib1(X,Y)cons(X,n__fib1(Y,n__add(X,Y)))add(0,X)Xadd(s(X),Y)s(add(X,Y))sel(0,cons(X,XS))Xsel(s(N),cons(X,XS))sel(N,activate(XS))fib1(X1,X2)n__fib1(X1,X2)add(X1,X2)n__add(X1,X2)activate(n__fib1(X1,X2))fib1(activate(X1),activate(X2))activate(n__add(X1,X2))add(activate(X1),activate(X2))activate(X)XMarked_add(s(X),Y)Marked_add(X,Y)seladdfibsn__fib1fib1activatecons0n__addselfibfib1selfib1fibfib1activatesselsfibsaddsactivate0fibconsselconsfib1consfibconsactivaten__fib1seln__fib1fib1n__fib1fibn__fib1activaten__addseln__addfib1n__addfibn__addaddn__addactivateaddseladdfibaddactivateactivateselactivatefib