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