fib N sel N fib1 s 0 s 0 fib1 X Y cons X n__fib1 Y n__add X Y add 0 X X add s X Y s add X Y sel 0 cons X XS X sel 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 X 2.2 sel s N cons X XS activate XS activate n__add X1 X2 add activate X1 activate X2 fib N sel N fib1 s 0 s 0 add s X Y add X Y activate n__add X1 X2 activate X1 fib N fib1 s 0 s 0 activate n__fib1 X1 X2 activate X2 activate n__fib1 X1 X2 fib1 activate X1 activate X2 sel s N cons X XS sel N activate XS activate n__add X1 X2 activate X2 activate n__fib1 X1 X2 activate X1 true fib N sel N fib1 s 0 s 0 false sel s N cons X XS sel N activate XS true s 1 1 1 activate 1 1 activate 1 0 n__add 2 2 fib1 2 0 n__fib1 2 1 2 1 fib1 2 1 2 0 fib 1 0 0 0 20163 sel 2 1 0 sel 2 0 cons 2 1 2 1 add 2 0 add 2 1 1 fib 1 0 fib N fib1 s 0 s 0 false sel s N cons X XS activate XS false activate n__fib1 X1 X2 activate X1 activate n__add X1 X2 activate X2 activate n__fib1 X1 X2 activate X2 activate n__add X1 X2 activate X1 true s 1 1 1 activate 1 1 activate 1 1 0 n__add 2 1 2 2 fib1 2 0 n__fib1 2 1 2 1 fib1 2 1 2 0 fib 1 0 0 0 20163 sel 2 0 sel 2 0 cons 2 2 1 add 2 0 add 2 1 1 fib 1 0 activate n__fib1 X1 X2 fib1 activate X1 activate X2 false activate n__add X1 X2 add activate X1 activate X2 false add s X Y add X Y true s 1 1 1 activate 1 1 activate 1 0 n__add 2 1 2 2 fib1 2 0 n__fib1 2 1 2 1 fib1 2 1 2 0 fib 1 0 0 0 42736 sel 2 0 sel 2 0 cons 2 2 1 add 2 1 0 add 2 1 1 fib 1 0 NaTT certifiable-1.6