fib 0 0 fib 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 2.2 + x s y + x y fib s s x sp g x fib s s x g x sp pair x y + x y g s x np g x np pair x y + x y g s x g x true fib s s x sp g x false sp pair x y + x y false fib s s x g x false g s x g x true s 1 1 1 pair 2 0 sp 1 0 fib 1 0 0 0 0 g 1 1 0 np 1 0 sp 1 0 + 2 0 fib 1 0 np 1 0 g 1 0 + 2 0 g s x np g x false np pair x y + x y false + x s y + x y true s 1 1 1 pair 2 0 sp 1 0 fib 1 0 0 0 0 g 1 0 np 1 0 sp 1 0 + 2 0 fib 1 0 np 1 0 g 1 0 + 2 2 0 NaTT certifiable-1.6