fib 0 pair 0 s 0 plus x y y' x 0 y y' plus x y s plus x' y' x s x' y y' fib s x pair z plus y z fib x pair y z fib 1 0 0 pair 2 s 1 plus 2 ORIENTED FULL ./TRS/Ohl02/fib.trs